scientific article; zbMATH DE number 4118343

MaRDI QIDQ4732449zbMATH OpenFDO

Authors Hans Hüttel, Kim G. Larsen

Publication date 1989

zbMATH Keywords

modal process logic MPLobservational equivalenceprecongruencestatic process constructs

Mathematics Subject Classification ID

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

Recommendations

• Structuring logic programs: a modal approach
• A modal logic for message passing processes
• Using Hoare logic in a process algebra setting
• Application of modal logics to the specification and verification of programs
• scientific article; zbMATH DE number 4205998
• Modal Logic, Transition Systems and Processes
• Modal Logic and Equality for Process Algebra
• CONCUR 2004 - Concurrency Theory
• scientific article; zbMATH DE number 1471992
• Modal logics for mobile processes

Cited in

(11)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4732449)