Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory.

Nikola Benes, Benot Delahaye, Uli Fahrenberg, Jan Kretnsk, Axel Legay

Browse the full CONCUR paper archive.