Broadcasting in time

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1061, Issue , 1996, Pages 321-338

  Prasad, K V S ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AUDITION; CALCULATIONS; COMPUTATIONAL LINGUISTICS; POLYCHLORINATED BIPHENYLS;

BISIMULATIONS; BROADCASTING SYSTEMS; LOW PRIORITIES; PREFIX OPERATORS; TIME-DEPENDENT BEHAVIOUR; TIME-OUTS; WEAK BISIMULATION;

ELECTRIC CIRCUIT BREAKERS;

EID: 84958776153     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61052-9_54     Document Type: Conference Paper

References (17)

1. Jörgen Andersen, Ed Harcourt, and K.V.S. Prasad. A machine verified sorting algorithm. Preliminary version, 1995.
2. Rance Cleaveland and Matthew Hennessy. Priorities in process algebras. Information and Computation, 87, 1990.
3. Juanito Camilleri and Glynn Winskel. CCS with priority choice. In Symposium on Logic in Computer Science. IEEE, 1991.
4. Jens Chr. Godskesen and Kim G. Larsen. Real-time calculi and expansion theorems. In FST&TCS'92, 1992. Springer Verlag LNCS 652.
5. Matthew Hennessy. Timed process algebras: a tutorial. In Marktoberdorf Summer School on process design calculi, 1992.
6. Ed Harcourt, Pawel Paczkowski, and K.V.S. Prasad. A framework for representing value-passing parametric processes. Preliminary version, 1995.
7. Matthew Hennessy and Tim Regan. A temporal process algebra. Computer Science Internal Report 2/90, University of Sussex, 1990
8. Alan Jeffrey. Observation Spaces and Timed Processes. D.phil, Oxford University, 1992
9. Alan Jeffrey. Translating timed process algebra into prioritised process algebra. In Nijmegen Symposium on Real-Time and Fault-Tolerant Systems, 1992.
10. Kim Larsen and Wang Yi. Time abstracted bisimulation: Implicit specifications and decidability. In Mathematical Foundations of Programm/ng Semantics, 1993.
11. Robin Milner. CommunJcation and Concurrency. Prentice Hall, 1989.
12. K. V. S. Prasad. Programming with broadcasts. In CONCUR, August 1993. Springer Verlag LNCS 715
13. K. V. S. Prasad. Broadcasting with priority. In ESOP, April 1994. Springer Verlag LNCS 788
14. K. V. S. Prasad. A calculus of broadcasting systems. Science of Computer Programm/ng, 25, 1995
15. C. Runciman and D. Wakeling. Profiling parallelism. Internal report, Department of Computer Science, University of York, 1993.
16. Wang Yi. Real time behaviour of asynchronous agents. In CONCUR'90, 1990. Springer Verlag LNCS 458
17. Wang Yi. A Calculus of Real Time Systems. PhD thesis, Chalmers University of Technology, June 1991.