A fixed point approach to parallel discrete event simulation
From MaRDI portal
Publication:758225
DOI10.1007/BF01178679zbMath0724.68100MaRDI QIDQ758225
Publication date: 1991
Published in: Acta Informatica (Search for Journal in Brave)
Uses Software
Cites Work
- A theory for nondeterminism, parallelism, communication, and concurrency
- Semantics of digital circuits
- Deadlock absence proofs for networks of communicating processes
- Denotational semantics of communicating processes based on a language for applicative multiprogramming
- Queueing network software for systems modelling
- Processes and the denotational semantics of concurrency
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item