Generation of proper adapters and converters from a formal service specification

Proceedings - IEEE INFOCOM

Volumn , Issue , 1990, Pages 564-571

  Okumura, Kaoru ^a  

^a IBM RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; PROBABILITY--QUEUEING THEORY;

ADAPTORS; FORMAL SPECIFICATIONS; PROTOCOL CONVERTERS; SERVICE SPECIFICATIONS;

COMPUTER NETWORKS;

EID: 0025539867     PISSN: 0743166X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)