Specifying modules to satisfy interfaces: a state transition system approach
Distributed Computing - Special issue: Specification of concurrent systems
The concept of deadlock and livelock in hybrid control systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Completeness And Soundness Of Axiomatizations For Temporal Logics Without Next
Fundamenta Informaticae
Hi-index | 0.00 |