Getting Demos models right. (I). Practice

DOI10.1016/S0928-4869(00)00029-XzbMath1003.68658OpenAlexW2068920522MaRDI QIDQ4787128

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)00029-x

zbMATH Keywords

verificationsimulationprocess algebras

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 (3)

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

This page was built for publication: Getting Demos models right. (I). Practice