Publication:4027626

zbMath0758.68027MaRDI QIDQ4027626

Ugo Montanari, Gian-Luigi Ferrari

Publication date: 21 February 1993

zbMATH Keywords

categories of graphs; conceptual unification of the models for concurrent and distributed systems

Mathematics Subject Classification ID

18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

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

18C10: Theories (e.g., algebraic theories), structure, and semantics

18A25: Functor categories, comma categories

Related Items

On the implementation of concurrent calculi in net calculi: two case studies, Observational structures and their logic, An algebraic semantics for structured transition systems and its application to logic programs, Tile formats for located and mobile systems., Ugo Montanari and Concurrency Theory, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra