scientific article; zbMATH DE number 7204317

DOI10.4230/LIPICS.CSL.2017.25zbMath1440.68168MaRDI QIDQ5111193

W. J. Fokkink, Robert J. van Glabbeek

Publication date: 26 May 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logiccompositionalitystructural operational semanticscongruencelookaheadmodal decomposition

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity ⋮ Probabilistic divide \& congruence: branching bisimilarity ⋮ A Petri net view of covalent bonds

This page was built for publication: