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; zbMATH DE number 5734950

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)