Coordination with multicapabilities

Science of Computer Programming

Volumn 64, Issue 2, 2007, Pages 205-222

  Udzir, Nur Izura ^a   Wood, Alan M ^a   Jacob, Jeremy L ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Capabilities; Multicapabilities; Tuple space coordination

Indexed keywords

DATA ACQUISITION; DISTRIBUTED DATABASE SYSTEMS; OPEN SYSTEMS; PROBLEM SOLVING;

CONTROLLED COORDINATION; OPEN DISTRIBUTED SYSTEMS; TUPLE-SPACE COORDINATION;

MULTIPROCESSING SYSTEMS;

EID: 33751182299     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2006.06.005     Document Type: Article

References (29)

1. Arbab F. Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14 3 (2004) 329-366
2. Banatre J.-P., and Le Metayer D. Programming by multiset transformation. Communications of the ACM 36 1 (1993) 98-111
3. Bryce C., Oriol M., and Vitek J. A coordination model for agents based on secure spaces. Proc. 3rd International Conference on Coordination Models and Languages. Coordination'99. LNCS vol. 1594 (1999), Springer-Verlag, Berlin, Heidelberg 4-20
4. Bryce C., Razafimahefa C., and Pawlak M. Lana: An approach to programming autonomous systems. ECOOP 2002. LNCS vol. 2374 (2002), Springer-Verlag, Berlin, Heidelberg 281-308
5. Carriero N., and Gelernter D. How to write a parallel program: A guide to the perplexed. ACM Computing Surveys 21 3 (1989) 323-357
6. Carriero N., and Gelernter D. Coordination languages and their significance. Communication of the ACM 35 2 (1992) 97-107
7. Chung V.-L., and McDonald C.S. The development of a distributed capability system for VLOS. Australian Computer Science Communications 24 3 (2002) 57-64
8. Dennis J.B., and van Horn E.C. Programming semantics for multiprogrammed computations. Communication of the ACM 9 3 (1966) 143-154
9. Freeman E., Hupfer S., and Arnold K. JavaSpaces: Principles, Patterns, and Practice. The Jini Technology Series (1999), Addison-Wesley
10. Gelernter D. Generative communication in Linda. ACM Transactions on Programming Languages and Systems 7 1 (1985) 80-112
11. Gorla D., and Pugliese R. Enforcing security policies via types. Proc. 1st Int. Conf. on Security in Pervasive Computing. SPC'03. LNCS vol. 2802 (2003), Springer-Verlag, Berlin, Heidelberg 88-103
12. Jacob J.L., and Wood A. A principled semantics for inp. Coordination Models and Languages. LNCS vol. 1906 (2000), Springer-Verlag, Berlin, Heidelberg 51-66
13. Knuth D.E. Stable Marriage and Its Relation to Other Combinatorial Problems: An Introduction to the Mathematical Analysis of Algorithms (1997), American Mathematical Society
14. Levy H.M. Capability-Based Computer Systems (1984), Digital Press
15. Menezes R., and Wood A. Using tuple monitoring and process registration on the implementation of garbage collection in open linda-like systems. Proc. 10th IASTED International Conference on Parallel and Distributed Computing and Systems (1998), ACTA Press 490-495
16. R. Menezes, Resource management in open tuple space systems, Ph.D. Thesis, Uni. of York, UK, 2000
17. Minsky N.H., and Leichter J. Law governed Linda as a coordination model. Object-Based Models and Languages for Concurrent Systems. LNCS vol. 924 (1995), Springer-Verlag, Berlin, Heidelberg 125-146
18. de Nicola R., Ferrari G.L., and Pugliese R. Klaim: A kernel language for agents interaction and mobility. IEEE Transactions on Software Engineering 24 5 (1998) 315-330
19. Nutt G. Operating System: A Modern Perspective (2nd) (2002), Addison-Wesley
20. Peterson J.L., and Silberschatz A. Operating System Concepts. 2nd edition (1985), Addison-Wesley
21. J. Pinakis, Providing Directed Communication in Linda, in: Proc. 15th Australian Computer Science Conference, 1995, pp. 731-743
22. Rowstron A. A run-time systems for coordination. Coordination of Internet Agents: Models, Technologies, and Applications (2001), Springer-Verlag 61-82
23. Rowstron A., and Wood A. BONITA: A set of tuple space primitives for distributed coordination. Proc. 30th Hawaii International Conference on System Sciences HICSS-30 vol. 1 (1997), IEEE Computer Society Press 379-388
24. J.S. Shapiro, EROS: A capability system, Ph.D. Thesis, Uni. of Pennsylvania, USA, 1999
25. J.S. Shapiro, J.M. Smith, D.J. Farber, EROS: A fast capability system, in: Symposium on Operating Systems Principles, 1999, pp. 170-185
26. Tanenbaum A.S., Mullender S.J., and van-Renesse R. Using sparse capabilities in a distributed operating system. Proc. 6th International Conference on Distributed Computing Systems. ICDCS (1986), IEEE Computer Society 558-563
27. N.I. Udzir, A. Wood, Establishing private communications in open systems using multicapabilities, in: Proc. 2nd IEEE International Conference on Information and Communication Technologies: From Theory to Applications, ICTTA'06, 2006
28. Vitek J., Bryce C., and Oriol M. Coordinating processes with secure spaces. Science of Computer Programming 46 1-2 (1999) 163-193
29. Wood A. Coordination with attributes. Coordination Languages and Models. LNCS vol. 1594 (1999), Springer-Verlag, Berlin, Heidelberg 21-36