Publication:4536442
From MaRDI portal
zbMath0998.68539MaRDI QIDQ4536442
Publication date: 25 June 2002
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Generalising Conduché's theorem, Conduché property and tree-based categories, Dynamical systems and sheaves, Rule Formats for Timed Processes, Concrete Process Categories, Paths and Simulations