OSI service specification: SAP and CEP modelling
ACM SIGCOMM Computer Communication Review
Service specification and protocol construction for the transport layer
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
A colored petri net model for connection management services in MMS
ACM SIGCOMM Computer Communication Review
IEEE Transactions on Software Engineering
Verification of ISO ACSE protocol specified in Estelle
Computer Communications
Hi-index | 0.00 |