scientific article
From MaRDI portal
Publication:3794154
zbMath0649.03013MaRDI QIDQ3794154
Matthew C. B. Hennessy, Gordon D. Plotkin
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semantics of processesprocess description languageschoice of combinatorsconjunctive nondeterminismindistinguishability by testsliveness logicsafety logic
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Theory of operating systems (68N25)
Related Items (6)
Conjunction on processes: Full abstraction via ready-tree semantics ⋮ Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) ⋮ Rule formats for determinism and idempotence ⋮ Fairness and regularity for SCCS processes ⋮ Graphical versus logical specifications ⋮ A logical view of composition
This page was built for publication:
