Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

Reference:

Nikola Benes, Benoit Delahaye, Uli Fahrenberg, Jan Kretinsky, and Axel Legay. Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory. Technical Report abs/1306.0741, arXiv.org, 2013.

Suggested BibTeX entry:

@techreport{DBLP:confconcurBenesDFKL13-techreport,
    author = {Nikola Bene{s} and Beno{i}t Delahaye and Uli Fahrenberg and Jan Kretinsky and Axel Legay},
    institution = {arXiv.org},
    number = {abs/1306.0741},
    title = {Hennessy-{M}ilner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory},
    year = {2013}
}

This work is not available online here.