Calculus of Broadcasting Systems
- Calculus of Broadcasting Systems
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 bisimulation 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.
ee also
* Pi-calculus
* Calculus of communicating systems (CCS)
* Communicating sequential processes (CSP)
* Bisimulation
* Alternating bit protocol
References
* K. V. S. Prasad: " [http://www.cs.chalmers.se/~prasad/scp.html 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
* [http://citeseer.nj.nec.com/prasad95calculus.html Citations from CiteSeer]
* [http://citeseer.nj.nec.com/328881.html A TCBS-Implementation on C++ - A Laboratory for the Course "Parallelism"]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Calculus of communicating systems — The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner in around 1980. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing… … Wikipedia
Исчисление взаимодействующих систем — (англ. Calculus of Communicating Systems, CCS, исчисление общающихся систем) в информатике исчисление процессов, разработанное Робином Милнером в 1980 году. Исчисление работает с моделью неразделяемых коммуникаций между ровно двумя… … Википедия
Message Passing Interface — MPI, the Message Passing Interface, is standardized and portable message passing system designed by a group of researchers from academia and industry to function on a wide variety of parallel computers. The standard defines the syntax and… … Wikipedia
Parallel Virtual Machine — NOTOC The Parallel Virtual Machine (PVM) is a software tool for parallel networking of computers. It is designed to allow a network of heterogeneous Unix and/or Windows machines to be used as a single distributed parallel processor. Thus large… … Wikipedia
electromagnetism — /i lek troh mag ni tiz euhm/, n. 1. the phenomena associated with electric and magnetic fields and their interactions with each other and with electric charges and currents. 2. Also, electromagnetics. the science that deals with these phenomena.… … Universalium
Weather forecasting — weather forecaster redirects here. For other uses, see Weatherman (disambiguation). Forecast of surface pressures five days into the future for the north Pacific, North America, and north Atlantic ocean. Weather forecasting is the application of… … Wikipedia
History of virtual learning environments 1990s — In the history of virtual learning environments, the 1990s was a time of growth, primarily due to advent of the affordable computer and of the Internet.1990s1990* Formal Systems Inc. of Princeton, NJ, USA introduces a DOS based Assessment… … Wikipedia
communication — communicational, adj. /keuh myooh ni kay sheuhn/, n. 1. the act or process of communicating; fact of being communicated. 2. the imparting or interchange of thoughts, opinions, or information by speech, writing, or signs. 3. something imparted,… … Universalium
navigation — navigational, adj. /nav i gay sheuhn/, n. 1. the act or process of navigating. 2. the art or science of plotting, ascertaining, or directing the course of a ship, aircraft, or guided missile. [1520 30; < L navigation (s. of navigatio) a voyage.… … Universalium
Defamation — This article is about the malicious statement. For the 2009 film, see Defamation (film). Libel and Slander redirect here. For other uses, see Libel (disambiguation) and Slander (disambiguation). Vilification and Calumny redirect here. For the… … Wikipedia
