Login / Signup
A Specification and Verifiaction Tool for Communication Protocols.
Harbans Kaur
James Brown Grier
Graham Campbell
Published in:
Great Lakes Computer Science Conference (1989)
Keyphrases
</>
communication protocols
protocol specification
communication protocol
process algebra
communication networks
high level
neural network
response time