Broadcast calculus interpreted in CCS upto bisimulation

Electronic Notes in Theoretical Computer Science

Volumn 52, Issue 1, 2002, Pages 83-100

  Prasad, K V S ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

BROADCASTING; COMPUTATIONAL METHODS; COMPUTER SIMULATION; EQUIVALENCE CLASSES; FUNCTIONS; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; SYNCHRONIZATION;

BISIMULATION EQUIVALENCE; BROADCASTING SYSTEMS; CBS MODEL; CCS PROGRAM;

LINEAR ALGEBRA;

EID: 19144372971     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00218-X     Document Type: Conference Paper

References (17)

1. Crisys project home page, http://ais.gmd.de/ap/crisys/.
2. Andersen J., E. Harcourt and K. V. S. Prasad, A machine verified sorting algorithm, Technical Report RS-96-4, BRICS, Aarhus (1996).
3. de Simone R. Higher level synchronising devices in MEIJE-SCCS. Theoretical Computer Science. 37:1985;245-268
4. Ene C. and T. Muntean, Expressiveness of broadcast communication, in: G. Ciobanu and G. Paun, editors, Fundamentals of Computation Theory, 12th International Symposium, FCT '99, LNCS 1684 (1999), pp. 258-268.
5. Giménez E., An application of co-inductive types in coq: verification of the alternating bit protocol, in: Workshop on Types for Proofs and Programs, LNCS 1158 (1995), pp. 135-152.
6. Harcourt E., P. Paczkowski and K. V. S. Prasad, A framework for representing value-passing parametric processes (1995), http://www.cs.chalmers. se/prasad/parametric.html.
7. Hennessy M., Rathke J. Bisimulations for a calculus of broadcasting systems. Theoretical Computer Science. 200:1998;225-260
8. Holmer U., Translating broadcast communication into SCCS, in: E. Best, editor, CONCUR'93, LNCS 715 (1993), pp. 188-201.
9. Jones S., Translating CBS to LML, Technical report, Department of Computer Science, Chalmers University of Technology (1993).
10. Milner R. Calculi for synchrony and asynchrony. Theoretical Computer Science. 25:1983;267-310
11. Milner R. "Communication and Concurrency," 1989;Prentice Hall
12. Petersson J., Tools for a calculus of broadcasting systems, Licentiate thesis, Department of Computer Science, Chalmers University of Technology (1994).
13. Prasad, K. V. S., Programming with broadcasts, in: E. Best, editor, CONCUR'93, LNCS 715 (1993), pp. 173-187.
14. Prasad K.V.S. A calculus of broadcasting systems. Science of Computer Programming. 25:1995;285-327
15. Prasad, K. V. S., Broadcasting in time, in: P. Ciancarini and C. Hankin, editors, COORDINATION'96, LNCS 1061 (1996), pp. 321-338.
16. Runciman C., Wakeling D. Profiling parallel functional computations. O'Donnell J.T., Hammond K. Glasgow Workshop on Functional Programming. 1993;236-251 Springer
17. Wilhelmi S., A virtual TCBS machine on top of C++, Web site, Univ. of Karlsruhe (2000), http://goethe.ira.uka.de/wilhelmi/cbs/.