scientific article

zbMath0597.68019MaRDI QIDQ3731015

Wolfgang Reisig

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fairnessoperational semanticsnondeterminismnonsequentialismpartially ordered command executions

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (17)

Undecidability of partial order logics ⋮ Sémantique asynchrone et comportements infinis en CPS ⋮ Interleaving set temporal logic ⋮ Appraising fairness in languages for distributed programming ⋮ Sequential and concurrent behaviour in Petri net theory ⋮ Efficiency of asynchronous systems and read arcs in petri nets ⋮ Adding partial orders to linear temporal logic ⋮ Event fairness and non-interleaving concurrency ⋮ Un modèle asynchrone pour les systèmes distribués. (An asynchronous model of distributed systems) ⋮ Fairness and partial order semantics ⋮ Verification of distributed programs using representative interleaving sequences ⋮ On equivalence-completions of fairness assumptions ⋮ Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP ⋮ Observable liveness of Petri nets ⋮ On fairness notions in distributed systems. II: Equivalence-completions and their hierarchies ⋮ Efficiency of asynchronous systems, read arcs, and the MUTEX-problem ⋮ The connection between an event structure semantics and an operational semantics for TCSP

This page was built for publication: