Finite state machine based: SDL
Formal methods for distributed processing
Extended coloured Petri nets with structured tokens formal method for distributed systems
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Hi-index | 0.00 |