Limits for automatic verification of finite-state concurrent systems
Information Processing Letters
A review of Ada tasking
An improved protocol reachability analysis technique
Software—Practice & Experience
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
An overview and example of application of CAEDE: a new, experimental design environment for Ada
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Hi-index | 0.00 |