Login / Signup
An Approach to Performance Specification of Communication Protocols Using Timed Petrinets.
Kumkum Garg
Published in:
ICDCS (1984)
Keyphrases
</>
communication protocols
protocol specification
process algebra
petri net
communication networks
communication protocol
colored petri nets
discrete event
timed automata
low cost
distributed systems
information systems
data analysis
context aware