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. In D'Argenio and Melgratti, pages 76–90.

Suggested BibTeX entry:

@inproceedings{DBLP:confconcurBenesDFKL13,
    author = {Nikola Bene{s} and Beno{i}t Delahaye and Uli Fahrenberg and Jan Kretinsky and Axel Legay},
    booktitle = {CONCUR},
    editor = {Pedro R. D'Argenio and Hern{a}n C. Melgratti},
    pages = {76-90},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Hennessy-{M}ilner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory},
    volume = {8052},
    year = {2013}
}

This work is not available online here.