Publication:3794154
From MaRDI portal
zbMath0649.03013MaRDI QIDQ3794154
Gordon D. Plotkin, Matthew C. B. Hennessy
Publication date: 1987
semantics of processes; process description languages; choice of combinators; conjunctive nondeterminism; indistinguishability by tests; liveness logic; safety logic
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68N25: Theory of operating systems
Related Items
Rule formats for determinism and idempotence, Graphical versus logical specifications, A logical view of composition, Conjunction on processes: Full abstraction via ready-tree semantics, Fairness and regularity for SCCS processes