Carsten Weise;Dirk Lenzkes
-;-
On modal refinement and consistency
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory