Getting Demos models right. (I). Practice

DOI10.1016/S0928-4869(00)00029-XMaRDI QIDQ4787128zbMATH 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)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)

Recommendations

• A denotational semantics for a process-based simulation language
• Getting Demos models right. (II) … and theory
• Relating operational and denotational descriptions of πDemos
• SPADES - a process algebra for discrete event simulation
• scientific article; zbMATH DE number 836615

Cited in

(5)

• Getting Demos models right. (II) … and theory
• 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
• A denotational semantics for a process-based simulation language

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

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