SPADES - a process algebra for discrete event simulation

DOI10.1093/LOGCOM/10.1.3zbMath0949.68112OpenAlexW1983635508MaRDI QIDQ4952025

Ben Strulo, Peter G. Harrison

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

process algebradiscrete event simulations

Mathematics Subject Classification ID

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

Related Items (3)

Turning back time in Markovian process algebra. ⋮ A theory of stochastic systems. I: Stochastic automata ⋮ A theory of stochastic systems. II: Process algebra

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