![]() |
Volumn , Issue , 1989, Pages 136-145
|
New results on deriving protocol specifications from service specifications
a
|
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTER PROGRAMMING - ALGORITHMS;
PROTOCOL SPECIFICATIONS;
SERVICE SPECIFICATIONS;
SYNCHRONIZATION MESSAGES;
COMPUTER NETWORKS;
|
EID: 0024925809
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/75246.75261 Document Type: Conference Paper |
Times cited : (25)
|
References (15)
|