Foundations of Software Science and Computational Structures

DOI10.1007/B106850zbMath1119.68115OpenAlexW1588712707MaRDI QIDQ5705867

Ugo Montanari, Gian-Luigi Ferrari, Emilio Tuosto

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106850

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Completeness of Nominal PROPs ⋮ Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi ⋮ Network Applications of Graph Bisimulation ⋮ Event based choreography

This page was built for publication: Foundations of Software Science and Computational Structures