SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "L773:3540610529 "

Search: L773:3540610529

  • Result 1-1 of 1
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Prasad, K V S, 1952 (author)
  • Broadcasting in Time
  • 1996
  • In: Springer Lecture Notes in Computer Science (Coordination Languages and Models, First International Conference, COORDINATION '96). - 3540610529
  • Conference paper (peer-reviewed)abstract
    • 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.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-1 of 1
Type of publication
conference paper (1)
Type of content
peer-reviewed (1)
Author/Editor
Prasad, K V S, 1952 (1)
University
Chalmers University of Technology (1)
Language
English (1)
Research subject (UKÄ/SCB)
Natural sciences (1)
Year
1996 (1)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view