Protocol validation in complex systems
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Designing and Testing Negotiation Protocols for Electronic Commerce Applications
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Evaluating Performance from Formal Specification
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Development of communication protocols using algebraic and temporal specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
Fast verification of the class of stop-and-wait protocols modelled by coloured Petri nets
Nordic Journal of Computing
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 |