SPADES - a process algebra for discrete event simulation

DOI10.1093/LOGCOM/10.1.3MaRDI QIDQ4952025zbMATH OpenOpenAlexFDO

Authors Peter G. Harrison, Ben Strulo

Publication date 9 May 2000

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/10.1.3

zbMATH Keywords

discrete event simulationsprocess algebra

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 836615
• A theory of stochastic systems. II: Process algebra
• scientific article; zbMATH DE number 1696898
• Algebraic structure of some stochastic discrete event systems, with applications
• Getting Demos models right. (I). Practice

Cited in

(6)

• Turning back time in Markovian process algebra.
• SPADES
• A theory of stochastic systems. I: Stochastic automata
• A theory of stochastic systems. II: Process algebra
• A denotational semantics for a process-based simulation language
• Getting Demos models right. (I). Practice

This page was built for publication: SPADES - a process algebra for discrete event simulation

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