Testing Hennessy-Milner logic with recursion

DOI10.1007/3-540-49019-1_4MaRDI QIDQ4260699zbMATH OpenFDO

Authors Luca Aceto, Anna Ingolfsdottir

Publication date 1 September 1999

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

Full work available at URL https://doi.org/10.1007/3-540-49019-1_4

zbMATH Keywords

concurrent processesHennessy-Milner logic with recursionlabelled transition systemsmulti-modal logictesting equivalence

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4056971
• Monitorability for the Hennessy-Milner logic with recursion
• Characteristic invariants in Hennessy-Milner logic
• Process behaviour: formulae vs. tests (extended abstract)
• Compositionality of Hennessy-Milner logic through structural operational semantics.

Cited in

(9)

• On bidirectional runtime enforcement
• Characteristic invariants in Hennessy-Milner logic
• Monitorability for the Hennessy-Milner logic with recursion
• scientific article; zbMATH DE number 4056971 (Why is no real title available?)
• Process behaviour: formulae vs. tests (extended abstract)
• Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
• On first-order runtime enforcement of branching-time properties
• Synthesising correct concurrent runtime monitors
• Specification of communicating processes: temporal logic versus refusals-based refinement

This page was built for publication: Testing Hennessy-Milner logic with recursion

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