TY  - RPRT
TI  - Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
AU  - Nikola Beneš
AU  - Benoît Delahaye
AU  - Uli Fahrenberg
AU  - Jan Křetínský
AU  - Axel Legay
PY  - 2013
UR  - https://arxiv.org/abs/1306.0741
ID  - 1306.0741
ER  -