The synthesis of communication protocols

DOI10.1007/BF01762126zbMATH Open0636.68052OpenAlexW2002371579MaRDI QIDQ1098296FDOQ1098296

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

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

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)

Cites Work

• Title not available (Why is that?)
• Knowledge and common knowledge in a distributed environment
• Title not available (Why is that?)
• How processes learn
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Title not available (Why is that?)
• A model-theoretic analysis of knowledge
• Title not available (Why is that?)
• The synthesis of communication protocols

Cited In (25)

• Title not available (Why is that?)
• An alternative implementation of communication primitives
• The synthesis of communication protocols
• A methodology for constructing communication protocols with multiple concurrent functions
• 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
• Title not available (Why is that?)
• 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
• Comments on deriving protocol specifications from service specifications written in LOTOS
• Defining, analysing and implementing communication protocols using attribute grammars
• Protocol analysis and synthesis by structured partitions
• Factorisation of finite state machines under strong and observational equivalences
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)