Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,754 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Alternating bit protocol
Bisimulation
Calculus of communicating systems
Communicating sequential processes
Expand
Broader (1)
Parallel computing
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Secure Broadcast Ambients
Elsa L. Gunter
,
A. Yasmeen
USENIX Conference on File and Storage…
2009
Corpus ID: 17651999
Broadcast mechanism is prevalent in many forms of electronic networks. Modeling broadcast protocols succinctly and reasoning…
Expand
Review
2000
Review
2000
Broadcast Communication Interpreted in Ccs (incomplete Draft of Work in Progress!)
K. V. S. Prasad
2000
Corpus ID: 18488686
Many algorithms implement broadcast using pairwise communication. But can the translation preserve observational equivalence…
Expand
1996
1996
Broadcasting in Time
K. V. S. Prasad
International Conference on Coordination Models…
1996
Corpus ID: 14977752
In the calculus of broadcasting systems (CBS), speech is autonomous, but hearing takes place only when the environment speaks…
Expand
1996
1996
A Machine Verified Distributed Sorting Algorithm
J. H. Andersen
,
Edwin A. Harcourt
,
K. V. S. Prasad
1996
Corpus ID: 1166537
We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The…
Expand
1995
1995
Co-inductive Types in Coq: an Experiment with the Alternating Bit Protocol Ecole Normale Supérieure De Lyon Co-inductive Types in Coq: an Experiment with the Alternating Bit Protocol an Experiment…
Eduardo L. Gim
1995
Corpus ID: 7538083
We describe an experience concerning the implementation and use of co-inductive types in the proof editor Coq. Co-inductive types…
Expand
1993
1993
Tools for a calculus of broadcasting systems
Jenny Petersson
1993
Corpus ID: 59963043
This thesis presents two tools to examine agents in a Calculus of Broadcasting Systems, CBS. The rst is a simulator implementing…
Expand
1993
1993
Interpreting Broadcast Communication in SCCS
U. Holmer
International Conference on Concurrency Theory
1993
Corpus ID: 1054399
CBS (Calculus of Broadcasting Systems) is a process calculus in the style of Robin Milner's CCS, with broadcast as the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE