Title :
Design rules for producing logically complete two-process interactions and communications protocols
Author :
Zafiropulo, Pitro
Author_Institution :
IBM Zurich Research Laboratory
Keywords :
Algorithm design and analysis; Design methodology; Laboratories; Protocols; Testing;
Conference_Titel :
Computer Software and Applications Conference, 1978. COMPSAC '78. The IEEE Computer Society's Second International
DOI :
10.1109/CMPSAC.1978.810549
