scientific article; zbMATH DE number 1956527

MaRDI QIDQ4417873zbMATH OpenFDO

Authors Vladimiro Sassone, Paweł Sobociński

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2620/26200409.htm

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Locating reaction with 2-categories
• scientific article; zbMATH DE number 2059571
• Deriving bisimulation congruences: a 2-categorical approach
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 1759615

Cited in

(8)

• Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones
• RPO, Second-Order Contexts, and λ-Calculus
• Deriving bisimulation congruences: a 2-categorical approach
• A categorical framework for congruence of applicative bisimilarity in higher-order languages
• scientific article; zbMATH DE number 2059571 (Why is no real title available?)
• CONCUR 2005 – Concurrency Theory
• Locating reaction with 2-categories
• Observational congruences for dynamically reconfigurable tile systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417873)