Abstract
For a communication protocol, it is particularly important to specify exactly the constraints, which must be respected by the participating entities for their succesful cooperation. A method is suggested for construction of logically correct communication protocols without over-specification. The method applies to any system topology and any type of communication channels, under the assumption of network fairness. For illustration, specific construction heuristics are provided for systems with an optional topology and reliable, unbounded FIFO channels with unknown communication delays, ranging from zero to any finite amount of time.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
