A denotational semantics for a process-based simulation language

DOI10.1145/290274.290303zbMath0966.68217OpenAlexW2084557509MaRDI QIDQ4510531

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)

Related Items (3)

A calculus and logic of resources and processes ⋮ A theory of stochastic systems. II: Process algebra ⋮ Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic

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