Transactors: A programming model for maintaining globally consistent distributed state in unreliable environments

ACM SIGPLAN Notices

Volumn 40, Issue 1, 2005, Pages 195-208

  Field, John ^a   Varela, Carlos A ^b  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b RENSSELAER POLYTECHNIC INSTITUTE   (United States)

Author keywords

Actor; Distributed state; Tau calculus; Transactor

Indexed keywords

ACTOR; DISTRIBUTED STATE; TAU-CALCULUS; TRANSACTOR;

CALCULATIONS; COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; FAULT TOLERANT COMPUTER SYSTEMS; INTERNET; MATHEMATICAL MODELS; SEMANTICS; SET THEORY; THEOREM PROVING;

COMPUTER PROGRAMMING;

EID: 17044412423     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/1047659.1040322     Document Type: Conference Paper

References (23)

1. G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.
2. G. Agha, N. Jamali, and C. Varela. Agent naming and coordination: Actor based models and infrastructures. In A. Omicini, F. Zambonelli, M. Klusch, and R. Tolksdorf, editors, Coordination of Internet Agents: Models, Technologies, and Applications, chapter 9, pages 225-246. Springer-Verlag, Mar. 2001.
3. G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. Journal of Functional Programming, 7:1-72, 1997.
4. M. Berger and K. Honda. The two-phase commitment protocol in an extended pi-calculus. In Prelim. Proc. EXPRESS '00, NS-00-2, pages 105-130. BRICS Notes, 2000.
5. P. A. Bernstein. Middleware: A model for distributed system services. Communications of the ACM, 39(2):86-98, 1996.
6. K. P. Birman and R. V. Renesse. Reliable Distributed Computing with the ISIS Toolkit. Wiley-IEEE Computer Society Press, 1994.
7. L. Cardelli and A. Gordon. Mobile ambients. In Foundations of System Specification and Computational Structures, LNCS 1378, pages 140-155. Springer Verlag, 1998.
8. T. Chothia and D. Duggan. Abstractions for fault-tolerant global computing. Electronic Notes in Theoretical Computer Science (ENTCS). Foundations of Wide-Area Network Computing (FWAN), 66(3), 2002. Elsevier.
9. J. Field and C. Varela. Towards a programming model for building reliable systems with distributed state. Electronic Notes in Theoretical Computer Science (ENTCS). First International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA), 68(3), 2003. Elsevier.
10. J. Field and C. Varela. Transactors: A programming model for maintaining globally consistent distributed state in unreliable environments. Technical Report 04-15, Department of Computer Science. Rensselaer Polytechnic Institute, Troy, NY, November 2004.
11. C. Fournet and G. Gonthier. The reflexive CHAM and the join-calculus. In Proc. ACM Symp. on Principles of Programming Languages, pages 372-385, 1996.
12. S. Frølund. Coordinating Distributed Objects: An Actor-Based Approach to Synchronization. MIT Press, 1996.
13. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufman, 1993.
14. N. Haines, D. Kindred, J. G. Morrisett, S. M. Nettles, and J. M. Wing. Composing first-class transactions. ACM Trans. Program. Lang. Syst., 16(6):1719-1736, 1994.
15. C. Hewitt. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence, 8-3:323-364, June 1977.
16. W. Kim and G. Agha. Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages. In Proceedings of Supercomputing'95, 1995.
17. B. Liskov. Distributed programming in Argus. Communications of the Association of Computing Machinery, 31(3):300-312, 1988.
18. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I-II. Information and Computation, 100(1):1-77, 1992.
19. A. Spector, R. Pausch, and G. Bruell. Camelot: A flexible, distributed transaction processing system. In Proc. IEEE Computer Society International Conf., pages 432-437, San Francisco, March 1988. IEEE Computer Society Press.
20. C. L. Talcott. Composable semantic models for actor theories. Higher-Order and Symbolic Computation, 11(3), 1998.
21. R. van Renesse, K. P. Birman, and S. Maffeis. Horus: A flexible group communication system. Communications of the ACM, 39(4):76-83, 1996.
22. World Wide Web Consortium. Web services activity statement, http://www.w3.org/2002/ws/, 2002.
23. X/Open Company Limited. Distributed transaction processing: The XA specification. X/Open Company Limited, 1991. X/Open CAE Specification XO/CAE/91/300.