Sökning: onr:"swepub:oai:research.chalmers.se:ea0d4494-5da1-4733-b6d5-94e5348b88f6" >
A Calculus of Broad...
-
Prasad, K V S,1952Chalmers tekniska högskola,Chalmers University of Technology
(författare)
A Calculus of Broadcasting Systems
- Artikel/kapitelEngelska1995
Förlag, utgivningsår, omfång ...
Nummerbeteckningar
-
LIBRIS-ID:oai:research.chalmers.se:ea0d4494-5da1-4733-b6d5-94e5348b88f6
-
https://research.chalmers.se/publication/193392URI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:art swepub-publicationtype
-
Ämneskategori:ref swepub-contenttype
Anmärkningar
-
CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between speakers being resolved non-deterministically, but hearing only happens when someone else speaks. Observationally meaningful laws differ from those of CCS. The change from handshake communication in CCS to broadcast in CBS permits several advances.1. Priority, which attaches only to autonomous actions, is simply added to CBS in contrast to CCS, where such actions are the result of communication.2. 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.3. 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.This paper reports the stable aspects of an evolving study.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Chalmers tekniska högskola
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Science of Computer Programming25:2-3, s. 285-3270167-6423
Internetlänk
Hitta via bibliotek
Till lärosätets databas