A fixed point approach to parallel discrete event simulation
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4005574 (Why is no real title available?)
- scientific article; zbMATH DE number 3658971 (Why is no real title available?)
- scientific article; zbMATH DE number 3707731 (Why is no real title available?)
- scientific article; zbMATH DE number 51132 (Why is no real title available?)
- scientific article; zbMATH DE number 3469994 (Why is no real title available?)
- scientific article; zbMATH DE number 3548491 (Why is no real title available?)
- scientific article; zbMATH DE number 3586522 (Why is no real title available?)
- scientific article; zbMATH DE number 194539 (Why is no real title available?)
- scientific article; zbMATH DE number 194911 (Why is no real title available?)
- A theory for nondeterminism, parallelism, communication, and concurrency
- Deadlock absence proofs for networks of communicating processes
- Denotational semantics of communicating processes based on a language for applicative multiprogramming
- Processes and the denotational semantics of concurrency
- Queueing network software for systems modelling
- Semantics of digital circuits
Cited in
(4)
This page was built for publication: A fixed point approach to parallel discrete event simulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q758225)