CoOperative objects: principles, use and implementation
Concurrent object-oriented programming and petri nets
Control properties in object-oriented specifications
Concurrent object-oriented programming and petri nets
Behavioural subtyping and property preservation for active objects
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
A Methodology for Architectural Design of Concurrent and Distributed Software Systems
The Journal of Supercomputing
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Modular verification of petri nets properties: a structure-based approach
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Petri nets for protocol engineering
Computer Communications
Testing and Debugging Message Passing Programs in Synergy with their Specifications
Fundamenta Informaticae
| Hi-index | 0.00 |