Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,052,917 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.
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
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
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