A fixed point approach to parallel discrete event simulation

DOI10.1007/BF01178679zbMath0724.68100MaRDI QIDQ758225

Werner Pohlmann

Publication date: 1991

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

parallel discrete event simulation

Mathematics Subject Classification ID

Uses Software

• UNITY

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

This page was built for publication: A fixed point approach to parallel discrete event simulation