scientific article; zbMATH DE number 1927579

zbMath1012.68120MaRDI QIDQ4484504

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (12)

Weak Bisimilarity Coalgebraically ⋮ A compositional coalgebraic model of fusion calculus ⋮ Structural congruence for bialgebraic semantics ⋮ Symmetries, local names and dynamic (de)-allocation of names ⋮ A Category of Explicit Fusions ⋮ Ugo Montanari and Software Verification ⋮ Unnamed Item ⋮ Network Applications of Graph Bisimulation ⋮ Bialgebraic methods and modal logic in structural operational semantics ⋮ Bialgebraic foundations for the operational semantics of string diagrams ⋮ Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus ⋮ A Compositional Coalgebraic Model of a Fragment of Fusion Calculus

This page was built for publication: