Getting Demos models right. (II) … and theory

DOI10.1016/S0928-4869(00)00030-6MaRDI QIDQ4787129zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

Recommendations

• Getting Demos models right. (I). Practice
• On models and modeling
• scientific article; zbMATH DE number 5734950

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)