Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,286,838 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
2009
2009
Mobility Models and Behavioural Equivalence for Wireless Networks
Jens Chr. Godskesen
,
Sebastian Nanz
International Conference on Coordination Models…
2009
Corpus ID: 18508649
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of…
Expand
2007
2007
Topology-Dependent Abstractions of Broadcast Networks
Sebastian Nanz
,
F. Nielson
,
H. R. Nielson
International Conference on Concurrency Theory
2007
Corpus ID: 17088758
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis…
Expand
2002
2002
Towards a primitive higher order calculus of broadcasting systems
Karol Ostrovsky
,
K. V. S. Prasad
,
Walid Taha
ACM-SIGPLAN International Conference on…
2002
Corpus ID: 7874300
Ethernet-style broadcast is pervasive style of computer communication.In this style,the medium is single nameless channel…
Expand
2002
2002
Broadcast Calculus Interpreted in CCS upto Bisimulation
K. V. S. Prasad
International Workshop on Expressiveness in…
2002
Corpus ID: 31609523
1996
1996
Approximative Analysis by Process Algebra with Graded Spatial Actions
Yoshinao Isobe
,
Yutaka Sato
,
K. Ohmaki
International Conference on Algebraic Methodology…
1996
Corpus ID: 17923908
In this paper we propose a process algebra, CCSG, in which we can approximately analyze processes by neglecting unimportant…
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
1994
1994
Broadcasting with Priority
K. V. S. Prasad
European Symposium on Programming
1994
Corpus ID: 13370316
Adding priorities to CCS is difficult, and involves two-stage operational semantics or other complications. By contrast…
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
Programming with Broadcasts
K. V. S. Prasad
International Conference on Concurrency Theory
1993
Corpus ID: 9460459
[Pra91, Pra92] develop CBS, a CCS-like calculus [Mil89] where processes communicate by broadcasting values along a single channel…
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