Mathematical Foundations of Computer Science 2004

DOI10.1007/b99679zbMath1096.68114OpenAlexW2488008928MaRDI QIDQ5311129

Robert J. van Glabbeek, Gordon D. Plotkin

Publication date: 22 August 2005

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

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

Mathematics Subject Classification ID

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

Related Items

Semantic domains of timed event structures, Configuration structures, event structures and Petri nets, Replication, refinement \& reachability: complexity in dynamic condition-response graphs, Unnamed Item, On the expressiveness of higher dimensional automata, Unnamed Item, Dynamic Causality in Event Structures