scientific article
From MaRDI portal
Publication:3033311
zbMath0691.68027MaRDI QIDQ3033311
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25) Algorithms in computer science (68W99)
Related Items (7)
Model checking and boolean graphs ⋮ Local model checking for context-free processes ⋮ Local model checking in the modal mu-calculus ⋮ Efficient local correctness checking for single and alternating boolean equation systems ⋮ Compositional checking of satisfaction ⋮ The expressive power of implicit specifications ⋮ Reasoning about nondeterministic and concurrent actions: A process algebra approach
This page was built for publication:
