Getting Demos models right. (II) … and theory

DOI10.1016/S0928-4869(00)00030-6zbMath1003.68659OpenAlexW1996576835MaRDI QIDQ4787129

Graham Mark Birtwistle, Chris Tofts

Publication date: 9 January 2003

Published in: Simulation Practice and Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0928-4869(00)00030-6

Mathematics Subject Classification ID

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

Related Items

A calculus and logic of resources and processes ⋮ Algebra and logic for resource-based systems modelling ⋮ Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic