Wan Fokkink

Precongruence Formats with Lookahead through Modal Decomposition

2017 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

Bloom, Fokkink & van Glabbeek (2004) presented a method to decompose formulas from Hennessy-Milner logic with regard to a structural operational semantics specification. A term in the corresponding process algebra satisfies a Hennessy-Milner formula if …