Theoretical Aspects of Computing – ICTAC 2005

DOI10.1007/11560647zbMath1169.68557OpenAlexW4300984554MaRDI QIDQ5395109

Robert J. van Glabbeek

Publication date: 1 November 2006

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

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Modelling and analysing neural networks using a hybrid process algebra ⋮ Weak Bisimilarity Coalgebraically ⋮ Unnamed Item ⋮ A precongruence format for should testing preorder ⋮ Unnamed Item ⋮ The expressiveness of CSP with priority

This page was built for publication: Theoretical Aspects of Computing – ICTAC 2005