scientific article; zbMATH DE number 1330129
From MaRDI portal
Publication:4260699
zbMath0932.03026MaRDI QIDQ4260699
Anna Ingólfsdóttir, Luca Aceto
Publication date: 1 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent processeslabelled transition systemstesting equivalencemulti-modal logicHennessy-Milner logic with recursion
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)
Related Items (6)
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties ⋮ Monitorability for the Hennessy-Milner logic with recursion ⋮ Synthesising correct concurrent runtime monitors ⋮ On first-order runtime enforcement of branching-time properties ⋮ Specification of communicating processes: temporal logic versus refusals-based refinement ⋮ On bidirectional runtime enforcement
This page was built for publication:
