Efficient distributed simulation of acyclic systems
From MaRDI portal
Publication:1194817
DOI10.1016/0020-0255(92)90092-MzbMath0753.68099MaRDI QIDQ1194817
Publication date: 4 October 1992
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0255(92)90092-m
68W15: Distributed algorithms
Cites Work
- Unnamed Item
- Unnamed Item
- A class of systems with nearly zero distributed simulation overhead
- Pseudosimulation: an algorithm for distributed simulation with limited memory
- Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
- A Switch-Level Model and Simulator for MOS Digital Systems
- A Proof System for Communicating Sequential Processes
- Proofs of Networks of Processes
- Time, clocks, and the ordering of events in a distributed system
- Communicating sequential processes
- Distributed simulation of networks
- Queueing network software for systems modelling