An industrial application of modal process logic

Authors:
Glenn Bruns
Affiliations:
-
Venue:
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Year:
1997

Modal and mixed specifications: Key decision problems and their complexities

Mathematical Structures in Computer Science
On modal refinement and consistency

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Modal process rewrite systems

ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
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