Publication:3925868
From MaRDI portal
zbMath0472.68012MaRDI QIDQ3925868
Tomasz Müldner, Andrzej Salwicki
Publication date: 1981
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N25: Theory of operating systems
Related Items
Structure of concurrency, On priority in COSY, An investigation of controls for concurrent systems based on abstract control languages, Concurrent and maximally concurrent evolution of nonsequential systems, Compositional semantics for real-time distributed computing, Petri net semantics of priority systems, A specification-oriented semantics for the refinement of real-time systems, Fairness and control in multi-agent systems