The synthesis of communication protocols

DOI10.1007/BF01762126MaRDI QIDQ1098296zbMATH OpenOpenAlexFDO

Authors Foto N. Afrati, Christos Papadimitriou, George Papageorgiou

Publication date 1988

Published in Algorithmica (Search for Journal in Brave)

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

zbMATH Keywords

finite automatapolynomial-time algorithmdistributed systemPSPACE-completecommunication protocolssynthesis algorithmknowledge logiccommunicating

Mathematics Subject Classification ID

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

Recommendations

• Automated synthesis of distributed self-stabilizing protocols
• Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets
• scientific article; zbMATH DE number 1418467
• Protocol analysis and synthesis by structured partitions
• Designing secure communication protocols from trust specifications

Cites work

• scientific article; zbMATH DE number 3767031 (Why is no real title available?)
• scientific article; zbMATH DE number 3482375 (Why is no real title available?)
• scientific article; zbMATH DE number 3621103 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• A model-theoretic analysis of knowledge
• How processes learn
• Knowledge and common knowledge in a distributed environment
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• The synthesis of communication protocols

Cited in

(25)

• An alternative implementation of communication primitives
• The synthesis of communication protocols
• A methodology for constructing communication protocols with multiple concurrent functions
• scientific article; zbMATH DE number 772001 (Why is no real title available?)
• Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
• Constructing submodule specifications and network protocols
• Abstract switches: a distributed model of communication and computation
• scientific article; zbMATH DE number 1088213 (Why is no real title available?)
• Knowledge-based synthesis of distributed systems using event structures
• Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets
• Automated synthesis of distributed self-stabilizing protocols
• Defining, analysing and implementing communication protocols using attribute grammars
• Comments on deriving protocol specifications from service specifications written in LOTOS
• Factorisation of finite state machines under strong and observational equivalences
• Protocol analysis and synthesis by structured partitions
• Network-wide configuration synthesis
• Logic for Programming, Artificial Intelligence, and Reasoning
• Synthesizing distributed protocol specifications from a UML state machine modeled service specification
• A new formal method for communication protocol specification
• Device driver and DMA controller synthesis from HW/SW communication protocol specifications
• The formalization and analysis of a communications protocol
• scientific article; zbMATH DE number 3967907 (Why is no real title available?)
• scientific article; zbMATH DE number 3974265 (Why is no real title available?)
• Automated synthesis of application-layer connectors from automata-based specifications
• Automated synthesis of application-layer connectors from automata-based specifications

This page was built for publication: The synthesis of communication protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1098296)