scientific article; zbMATH DE number 4118343

zbMath0683.03014MaRDI QIDQ4732449

Hans Hüttel, Kim Guldstrand Larsen

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

observational equivalenceprecongruencemodal process logic MPLstatic process constructs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (11)

Nondeterministic modal interfaces ⋮ Model Checking Real-Time Systems ⋮ Model-checking for real-time systems ⋮ Event algebra for transition systems composition application to timed automata ⋮ Compositional equivalences based on open pNets ⋮ Automatic synthesis of real time systems ⋮ Graphical versus logical specifications ⋮ The expressive power of implicit specifications ⋮ Interface theories for concurrency and data ⋮ Moving from interface theories to assembly theories ⋮ Is your model checker on time? On the complexity of model checking for timed modal logics

This page was built for publication: