scientific article
From MaRDI portal
Publication:3832541
zbMath0677.03012MaRDI QIDQ3832541
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite model propertytemporal logicpropositional modal logicevent structuresbehaviour of concurrent systems
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items
Behavioural characterizations of partial order logics, Decidability of a partial order based temporal logic, Formal timing analysis of distributed systems, Verification of distributed programs using representative interleaving sequences, Models and logics for true concurrency., Context-free event domains are recognizable, Context-free event domains are recognizable, Verification of reactive systems using temporal logic with clocks
