Coordination in the impunity framework

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

Volumn 1061, Issue , 1996, Pages 215-230

  Goeman, H J M ^a   Kok, J N ^a   Sere, K ^b   Udink, R T ^c  

^a LEIDEN UNIVERSITY   (Netherlands)

^b UNIVERSITY OF EASTERN FINLAND   (Finland)

^c UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

MEMORY ARCHITECTURE; SPECIFICATIONS;

FORMAL PROGRAMS; FORMAL REFINEMENT; PHONE SYSTEMS; PROGRAM TRANSFORMATION RULES; STRUCTURING MECHANISMS; TUPLE SPACE;

COMPUTATIONAL LINGUISTICS;

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

References (8)

1. 1. R. J. R. Back and K. Sere. Action systems with synchronous communication. In E.-R. Olderog, editor, Programming Concepts, Methods and Calculi, volume A-56 of IFIP Transactions, pages 107-126. Elsevier, June 1994
2. D. Le Métayer, C.L. Hankin, and D. Sands. Compositional semantics of a notation for composing parallel programs. Submitted for publication 1995
3. K. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison- Wesley, 1988
4. H.C. Cunningham and G.C. Roman. A UNITY-style programming logic for a shared dataspace language. Technical Report WUCS-89-5, Dept. of Computer Science, Washington University, March 1989
5. D. Le M6tayer, C.L. Hankin, and D. Sands. A parallel programming style and its algebra of programs. In PARLE'93, volume 694 of Lecture Notes in Computer Science, Springer-Verlag, 1993
6. R.T. Udink. Program Refinement in UNITY-like Environments. PhD Thesis, Utrecht University, September 1995
7. R.T. Udink, T. Herman, and J.N. Kok. Progress for local variables in UNITY. In E.-R. Olderog, editor, Programming Concepts, Methods and Calculi, volume A-56 of IFIP Transactions, pages 127-146. Elsevier, June 1994
8. R.T. Udink and J.N. Kok. ImpUNITY: UNITY with procedure and local variables. In B. Moller, editor, Mathematics of Program Construction, volume 947 of Lecture Notes in Computer Science, pages 452-472. Springer-Verlag, 1995