Getting Demos models right. (II) … and theory

DOI10.1016/S0928-4869(00)00030-6zbMATH Open1003.68659OpenAlexW1996576835MaRDI QIDQ4787129FDOQ4787129

Authors: Graham Mark Birtwistle, Chris Tofts 

Publication date: 9 January 2003

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

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

Recommendations

• Getting Demos models right. (I). Practice
• On models and modeling
• scientific article

Mathematics Subject Classification ID

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

Cited In (6)

• Getting Demos models right. (I). Practice
• A calculus and logic of resources and processes
• Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
• Algebra and logic for resource-based systems modelling
• Recursive rules for demultiplexers expanding
• A denotational semantics for a process-based simulation language

This page was built for publication: Getting Demos models right. (II) … and theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4787129)