Coordination in the ImpUNITY framework

Science of Computer Programming

Volumn 31, Issue 2-3, 1998, Pages 313-334

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

^a LEIDEN UNIVERSITY   (Netherlands)

^b ÅBO AKADEMI UNIVERSITY   (Finland)

^c UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Coordination languages; Program specifications; Program transformations; Refinement calculus; Unity

Indexed keywords

DATA STRUCTURES; FORMAL LANGUAGES; HIGH LEVEL LANGUAGES; SOFTWARE ENGINEERING;

COORDINATION LANGUAGES; PROGRAM SPECIFICATIONS; PROGRAM TRANSFORMATIONS; TUPLE SPACE;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0032114785     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0167-6423(97)00025-7     Document Type: Article

References (18)

1. J.-M. Andreoli, C. Hankin, D. Le Métayer (Eds.), Coordination Programming: Mechanisms, Models and Semantics. Imperial College Press, London, 1996.
2. R.J.R. Back, K. Sere, From action systems to modular systems, Software - Concepts Tools 17 (1996) 26-39.
3. J.-P. Banâtre, D. Le Métayer, The GAMMA model and its discipline of programming, Science of Computer Programming 15 (1) (1990) 55-77.
4. J.-P. Banâtre, D. Le Métayer, Gamma and the chemical reaction model: ten years after, in: J.-M. Andreoli, C. Hankin, D. Le Métayer (Eds.), Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, London, 1996, pp. 3-41.
5. K.M. Chandy, J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, Reading, MA, 1988.
6. M. Chaudron, E. de Jong, Schedules for multiset transformer programs, in: J.-M. Andreoli, C. Hankin, D. Le Métayer (Eds.), Coordination Programming: Mechanisms. Models and Semantics, Imperial College Press, London, 1996, pp. 195-210
7. M. Chaudron, E. de Jong, Towards a compositional method for coordinating gamma programs, in: P. Ciancarini, C. Hankin (Eds.), Coordination: Languages and Models, Ist Internat. Conf., COORDINATION'96. Lecture Notes in Computer Science, Vol. 1061, Springer, Berlin, 1996. pp. 107-123.
8. P. Ciancarini, R. Gorrieri, G. Zavattaro, An alternative semantics for the calculus of gamma programs, in: J.-M. Andreoli, C. Hankin, D. Le Métayer, (Eds.), Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, London, 1996, pp. 232-248.
9. P. Ciancarini, C. Hankin (Eds.), Coordination: Languages and Models, First Internat. Conf., COORDINATION'96, Lecture Notes in Computer Science, Vol. 1061, Springer. Berlin, 1996.
10. H.C. Cunningham, G.C. Roman. A unity-style programming logic for a shared dataspace language, IEEE Trans. Parallel Distrib. Systems 1 (3) (1990) 365-376.
11. H.J.M. Goeman, J.N. Kok, K. Sere, R.T. Udink, Coordination in the impunity framework, in: Coordination Languages and Models, First Internat. Conf., COORDINATION'96, Lecture Notes in Computer Science, Vol. 1061, Springer, Berlin, 1996. pp. 215-230.
12. C. Hankin, D. Le Métayer, D. Sands, A calculus of gamma programs, in: Fifth Internat. Workshop on Languages and Compilers for Parallel Computing. Lecture Notes in Computer Science, Vol. 757, Springer, Berlin, 1992, pp. 342-355.
13. E. Hedman, J.N. Kok, K. Sere, Coordinating action systems. Technical Report 92, TUCS, January 1997; Proc. Coordination'97, to appear.
14. E. Hedman, J.N. Kok, K. Sere, Coordinating action systems. Technical Report 92, TUCS, January 1997; Proc. Coordination'97, to appear.
15. D. Sands, A compositional semantics of combining forms for gamma programs, in: Formal Methods in Programming and Their Applications, Lecture Notes in Computer Science, Vol. 735, Springer, Berlin, 1993, pp. 43-56.
16. R.T. Udink, Program refinement in UNITY-like Environments, Ph.D. Thesis, Utrecht University, Department of Computer Science, 1995.
17. R.T. Udink, J.N. Kok, ImpUNITY: UNITY with procedures and local variables, in: Proc. of Mathematics of Program Construction'95, Lecture Notes in Computer Science, Vol. 947, Springer, Berlin, 1995, pp. 452-472.
18. R.T. Udink, J.N. Kok, T. Herman, Progress for local variables in UNITY, in: Proc. IFIP Working Conf. on Programming Concepts, Methods and Calculi, IFIP Transactions, Vol. A056, North-Holland, Amsterdam, 1994, pp. 127-146.