Local model checking for value-passing processes. (Extended abstract)

DOI10.1007/BFB0014555MaRDI QIDQ4364391zbMATH OpenFDO

Authors Julian Rathke, Matthew Hennessy

Publication date 17 November 1997

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0014555

zbMATH Keywords

first-order modal \(\mu\)-calculuslivenesslocal model checking proof systemprocess logicsafety

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 1231562
• Model checking mobile processes
• scientific article; zbMATH DE number 751138
• Local model checking for context-free processes
• Model-checking processes with data

Cited in

(9)

• On bidirectional runtime enforcement
• Compositional verification of asynchronous concurrent systems using CADP
• Model-checking processes with data
• Parameterised Boolean equation systems
• scientific article; zbMATH DE number 1231562 (Why is no real title available?)
• Verification of temporal properties of processes in a setting with data
• Local model checking for context-free processes
• Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
• On decidability and model checking for a first order modal logic for value-passing process

This page was built for publication: Local model checking for value-passing processes. (Extended abstract)

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