scientific article; zbMATH DE number 1927579

MaRDI QIDQ4484504zbMATH OpenFDO

Authors Maria Grazia Buscemi, Ugo Montanari

Publication date 12 June 2003

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A coalgebraic equational approach to specifying observational structures
• -calculus in (Co)inductive-type theory
• scientific article; zbMATH DE number 1497883
• scientific article; zbMATH DE number 1759486
• scientific article; zbMATH DE number 2185719
• Contextual equivalence for higher-order -calculus revisited
• Inference systems for observation equivalences in the \(\pi\)-calculus
• scientific article; zbMATH DE number 2185678
• scientific article; zbMATH DE number 1759443
• scientific article; zbMATH DE number 1082078

Cited in

(12)

• Bialgebraic methods and modal logic in structural operational semantics
• Bialgebraic foundations for the operational semantics of string diagrams
• A compositional coalgebraic model of fusion calculus
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Weak bisimilarity coalgebraically
• Structural congruence for bialgebraic semantics
• A Category of Explicit Fusions
• Ugo Montanari and Software Verification
• Network Applications of Graph Bisimulation
• A compositional coalgebraic model of a fragment of fusion calculus
• Bialgebraic semantics for string diagrams
• Symmetries, local names and dynamic (de)-allocation of names

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 Q4484504)