Performance Results for the CSMA/CD Protocol Using GreatSPN.
Richard LaiPublished in: J. Syst. Softw. (1997)
Keyphrases
- multiple access
- lightweight
- communication protocol
- group communication
- multi party
- coloured petri nets
- cryptographic protocols
- security protocols
- formal analysis
- database
- communication systems
- ad hoc networks
- databases
- authentication protocol
- distributed systems
- key distribution
- cooperative
- genetic algorithm
- real time