Taming interface specifications
CONCUR 2005 - Concurrency Theory
Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Hi-index | 0.00 |