Calculus of broadcasting systems (CBS) is a CCS-like calculus where processes speak one at a time and each is heard instantaneously by all others. Speech is autonomous, contention between speakers being resolved nondeterministically, but hearing only happens when someone else speaks. Observationally meaningful laws differ from those of CCS. The handshake communication of CCS is changed to broadcast communication in CBS. This allows several additional features:
Priority, which attaches only to autonomous actions, is simply added to CBS in contrast to CCS, where such actions are the result of communication.
A CBS simulator runs a process by returning a list of values it broadcasts. This permits a powerful combination, CBS with the host language. It yields several elegant algorithms. Only processes with a unique response to each input are needed in practice, so weak bi simulation is a congruence.
CBS subsystems are interfaced by translators; by mapping messages to silence, these can restrict hearing and hide speech. Reversing a translator turns its scope inside out. This permits a new specification for a communication link – the environment of each user should behave like the other user.
A TCBS-Implementation on C++ - A Laboratory for the Course "Parallelism"[permanent dead link]
November 16, 2023
calculus, broadcasting, systems, topic, this, article, meet, wikipedia, general, notability, guideline, please, help, demonstrate, notability, topic, citing, reliable, secondary, sources, that, independent, topic, provide, significant, coverage, beyond, mere, . The topic of this article may not meet Wikipedia s general notability guideline Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention If notability cannot be shown the article is likely to be merged redirected or deleted Find sources Calculus of broadcasting systems news newspapers books scholar JSTOR August 2017 Learn how and when to remove this template message Calculus of broadcasting systems CBS is a CCS like calculus where processes speak one at a time and each is heard instantaneously by all others Speech is autonomous contention between speakers being resolved nondeterministically but hearing only happens when someone else speaks Observationally meaningful laws differ from those of CCS The handshake communication of CCS is changed to broadcast communication in CBS This allows several additional features Priority which attaches only to autonomous actions is simply added to CBS in contrast to CCS where such actions are the result of communication A CBS simulator runs a process by returning a list of values it broadcasts This permits a powerful combination CBS with the host language It yields several elegant algorithms Only processes with a unique response to each input are needed in practice so weak bi simulation is a congruence CBS subsystems are interfaced by translators by mapping messages to silence these can restrict hearing and hide speech Reversing a translator turns its scope inside out This permits a new specification for a communication link the environment of each user should behave like the other user See also editAlternating bit protocol Bisimulation Calculus of communicating systems CCS Communicating sequential processes CSP Pi calculusReferences editK V S Prasad A Calculus of Broadcasting Systems Science of Computer Programming 25 1995 K V S Prasad Programming with broadcasts Lecture Notes in Computer Science Vol 715 CONCUR 1993 Springer Verlag K V S Prasad Broadcasting in time Lecture Notes in Computer Science Vol 1061 COORDINATION 1996 Springer Verlag External links editCitations from CiteSeer A TCBS Implementation on C A Laboratory for the Course Parallelism permanent dead link Retrieved from https en wikipedia org w index php title Calculus of broadcasting systems amp oldid 947259079, wikipedia, wiki, book, books, library,
