scientific article; zbMATH DE number 4119603
From MaRDI portal
Publication:4733387
zbMath0683.68016MaRDI QIDQ4733387
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items
Coalgebraic modal logic: soundness, completeness and decidability of local consequence ⋮ \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes ⋮ Duality for modal \(\mu\)-logics ⋮ Free shuffle algebras in language varieties extended abstract ⋮ Incremental model checking of delta-oriented software product lines ⋮ Model checking in the modal \(\mu \)-calculus and generic solutions ⋮ Automated analysis of mutual exclusion algorithms using CCS ⋮ Selective mu-calculus and formula-based equivalence of transition systems ⋮ Decidability of a partial order based temporal logic ⋮ Local model checking in the modal mu-calculus ⋮ Model checking properties on reduced trace systems ⋮ Free shuffle algebras in language varieties ⋮ Undecidability of bisimilarity for Petri nets and some related problems ⋮ Trapping mutual exclusion in the box calculus ⋮ Local model checking for infinite state spaces ⋮ Observational structures and their logic ⋮ \(R\)-generability, and definability in branching time logics ⋮ A CCS-based investigation of deadlock in a multi-process electronic mail system ⋮ Formal Verification of Concurrent Systems via Directed Model Checking ⋮ Abstract reduction in directed model checking CCS processes ⋮ The formalization and analysis of a communications protocol ⋮ Reduced models for efficient CCS verification
This page was built for publication:
