ABSTRACT
No abstract available.
Supplemental Material
Index Terms
- Robin Milner 1934--2010: verification, languages, and concurrency
Recommendations
A refinement calculus for specifications in Hennessy-Milner logic with recursion
AbstractThis paper is about specification and verification of processes, modelled as CCS-agents. We show, by means of examples that Hennessy-Milner Logic (HML) with recursion is a suitable language for expressing implicit or partial specifications. By ...
Compositionality of Hennessy-Milner logic by structural operational semantics
Foundations of computation theory (FCT 2003)This paper presents a method for the decomposition of HML formulas. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms satisfy certain formulas, obtained by decomposing the original formula. The ...
Comments