Sökning: onr:"swepub:oai:research.chalmers.se:7a28e299-7e61-4951-8f45-53b24c906816" >
Broadcasting in Time
Broadcasting in Time
-
- Prasad, K V S, 1952 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- ISBN 3540610529
- 1996
- 1996
- Engelska.
-
Ingår i: Springer Lecture Notes in Computer Science (Coordination Languages and Models, First International Conference, COORDINATION '96). - 3540610529
- Relaterad länk:
-
https://research.cha...
Innehållsförteckning
Abstract
Ämnesord
Stäng
No table of content available
- In the calculus of broadcasting systems (CBS), speech is autonomous, but hearing takes place only when the environment speaks. This paper develops a timed CBS (TCBS) where no time may pass if there is speech pending. A process wishing to speak can be forced, by attaching a time-out to it, to first listen for a specified length of time. TCBS subsumes CBS with priorities, and has an expansion theorem even if time is dense. A delay prefix operator can be derived up to weak bisimulation. TCBS casts light on issues in handshake communication: time abstracted bisimulation, and the relations between time and priority, between expansion theorems and density of time, and between delays and time-outs.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas