Towards a Modular Specification and Verification of Protocols within a Layered Architecture.
Younes SouissiPublished in: FORTE (1993)
Keyphrases
- layered architecture
- protocol specification
- formal verification
- communication protocols
- agent architecture
- asynchronous circuits
- formal methods
- cryptographic protocols
- formal specification
- model checking
- web services
- colored petri nets
- modular neural networks
- intelligent agents
- face verification
- communication protocol
- concurrent systems
- modular structure
- high level
- multi agent
- neural network
- cooperative