A denotational semantics for a process-based simulation language

DOI10.1145/290274.290303MaRDI QIDQ4510531zbMATH OpenOpenAlexFDO

Authors Graham Mark Birtwistle, Chris Tofts

Publication date 29 October 2000

Published in ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/290274.290303

zbMATH Keywords

\(\mu\)Demos programsdiscrete event simulation language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Getting Demos models right. (I). Practice
• Relating operational and denotational descriptions of πDemos
• Getting Demos models right. (II) … and theory
• SPADES - a process algebra for discrete event simulation
• Theoretical and practical approaches to the denotational semantics for MDESL based on UTP

Cited in

(12)

• Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
• A theory of stochastic systems. II: Process algebra
• Systems modelling via resources and processes: philosophy, calculus, semantics, and logic
• Generating denotational semantics from algebraic semantics for event-driven system-level language
• Relating operational and denotational descriptions of πDemos
• scientific article; zbMATH DE number 3902014 (Why is no real title available?)
• scientific article; zbMATH DE number 38948 (Why is no real title available?)
• A menagerie of non-finitely based process semantics over BPA* – from ready simulation to completed traces
• Getting Demos models right. (I). Practice
• SESSL
• Mathematical Foundations of Computer Science 2003
• A calculus and logic of resources and processes

This page was built for publication: A denotational semantics for a process-based simulation language

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