Ugo Montanari and Concurrency Theory

DOI10.1007/978-3-540-68679-8_24zbMath1143.68484OpenAlexW1951684675MaRDI QIDQ3507376

Roberto Gorrieri

Publication date: 19 June 2008

Published in: Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_24

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) History of computer science (68-03)

Cites Work

• On the implementation of concurrent calculi in net calculi: two case studies
• Universal axioms for bisimulations
• A partial ordering semantics for CCS
• Concurrent histories: a basis for observing distributed systems
• A distributed operational semantics of CCS based on condition/event systems
• Compositional SOS and beyond: A coalgebraic view of open systems
• Functorial models for Petri nets
• A structural approach to operational semantics
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Modelling Calculi with Name Mobility using Graphs with Equivalences
• Nets, Terms and Formulas
• Structured transition systems with parametric observations: observational congruences and minimal realizations
• Concurrent models for Linda with transactions
• A parametric approach to localities
• Event Structure Semantics for Nominal Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ugo Montanari and Concurrency Theory