Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
Alternating bit protocolBisimulationCalculus of communicating systemsCommunicating sequential processes

Broader (1)

Parallel computing

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Secure Broadcast Ambients
Broadcast mechanism is prevalent in many forms of electronic networks. Modeling broadcast protocols succinctly and reasoning… 
Review
2000
Review
2000
Broadcast Communication Interpreted in Ccs (incomplete Draft of Work in Progress!)
Many algorithms implement broadcast using pairwise communication. But can the translation preserve observational equivalence… 
1996
1996
Broadcasting in Time
In the calculus of broadcasting systems (CBS), speech is autonomous, but hearing takes place only when the environment speaks… 
1996
1996
A Machine Verified Distributed Sorting Algorithm
We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The… 
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…
We describe an experience concerning the implementation and use of co-inductive types in the proof editor Coq. Co-inductive types… 
1993
1993
Tools for a calculus of broadcasting systems
This thesis presents two tools to examine agents in a Calculus of Broadcasting Systems, CBS. The rst is a simulator implementing… 
1993
1993
Interpreting Broadcast Communication in SCCS
CBS (Calculus of Broadcasting Systems) is a process calculus in the style of Robin Milner's CCS, with broadcast as the… 
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)