The synthesis of communication protocols

DOI10.1007/BF01762126zbMath0636.68052OpenAlexW2002371579MaRDI QIDQ1098296

George Papageorgiou, Christos H. Papadimitriou, Foto N. Afrati

Publication date: 1988

Published in: Algorithmica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01762126

zbMATH Keywords

polynomial-time algorithmfinite automatadistributed systemsynthesis algorithmPSPACE-completecommunication protocolsknowledge logiccommunicating

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Applications of graph theory to circuits and networks (94C15) Theory of operating systems (68N25) Theory of software (68N99)

Related Items

The synthesis of communication protocols ⋮ Factorisation of finite state machines under strong and observational equivalences

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• How processes learn
• The synthesis of communication protocols
• Knowledge and common knowledge in a distributed environment
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• A model-theoretic analysis of knowledge