Control properties in object-oriented specifications
Concurrent object-oriented programming and petri nets
Capturing conflict and confusion in CSP
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Petri nets for protocol engineering
Computer Communications
Hi-index | 0.00 |