|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
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}
}
|
![](../g/pixel.png) |
| This work is not available online here. |
|
|
|
|
|
|
|
|