Schedulability analysis of real time actor systems using coloured petri nets
Concurrent object-oriented programming and petri nets
Specifying and analysing multimedia systems
Formal methods for distributed processing
Quality of service aware distributed object systems
COOTS'99 Proceedings of the 5th conference on USENIX Conference on Object-Oriented Technologies & Systems - Volume 5
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Prototyping distributed multimedia systems using communicating real-time state machines
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Actors, roles and coordinators — a coordination model for open distributed and embedded systems
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
| Hi-index | 0.01 |