A fixed point approach to parallel discrete event simulation
From MaRDI portal
Discrete event simulation is viewed as solving a fixed point problem whose unknowns are infinite histories or streams of event and time information. Stream domains provide two notions of convergence, which correspond to the usual categorization of simulation methods. Metric convergence leads to optimistic parallel simulation (the classic event list mechanism turns out to be a specialization), and convergence in the sense of partial orders leads to conservative parallel simulation.
Recommendations
Cites work
- 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
- 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?)
- Processes and the denotational semantics of concurrency
- Queueing network software for systems modelling
- Semantics of digital circuits
Cited in
(5)- Massively parallel SIMD simulation of Markovian DEDS: Event and time synchronous methods
- Adaptive protocols for parallel discrete event simulation
- scientific article; zbMATH DE number 1822242 (Why is no real title available?)
- scientific article; zbMATH DE number 895676 (Why is no real title available?)
- Toward a theory of superdense time in simulation models
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)