New results on deriving protocol specifications from service specifications

Volumn , Issue , 1989, Pages 136-145

  Khendek, Ferhat ^a   von Bochmann, Gregor ^a   Kant, Christian ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

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

References (15)