The synthesis of communication protocols

Authors:
Foto Afrati;Christos H Papadimitriou;George Papageorgiou
Affiliations:
National Technical University of Athens, Greece;National Technical University of Athens, Greece;National Technical University of Athens, Greece
Venue:
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Year:
1986

Computer networks

Computer networks
Computers and Intractability: A Guide to the Theory of NP-Completeness

Computers and Intractability: A Guide to the Theory of NP-Completeness
Specification and synthesis of communicating processes using an extended temporal logic: (preliminary version)

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal techniques for the specification and verification of protocols

Formal techniques for the specification and verification of protocols

Hi-index	0.01