Systematic composition of objects in distributed Internet applications: Processes and sessions

Proceedings of the Hawaii International Conference on System Sciences

Volumn 1, Issue , 1997, Pages 395-404

  Chandy, K Mani ^a   Rifkin, Adam ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; DATA COMMUNICATION SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; HIGH LEVEL LANGUAGES; OBJECT ORIENTED PROGRAMMING; WIDE AREA NETWORKS;

INTERNET; JAVA PROGRAMMING LANGUAGE;

SOFTWARE ENGINEERING;

EID: 0031343804     PISSN: 10603425     EISSN: None     Source Type: None    
DOI: 10.1109/HICSS.1997.667288     Document Type: Conference Paper

References (27)

1. K. M. Chandy J. Misra Parallel Program Design: A Foundation 1988 Addison-Wesley MA, Reading
2. K. M. Chandy S. Taylor An Introduction to Parallel Programming 1992 Jones and Bartlett MA, Boston
3. L. Lamport The temporal logic of actions ACM Transactions on Programming Languages and Systems 16 3 872 923 May 1994
4. M. Abadi L. Lamport Composing specifications ACM Transactions on Programming Languages and Systems 15 1 73 132 January 1993
5. K. M. Chandy Properties of concurrent programs Formal Aspects of Computing 6 6 607 619 1994
6. C. A.R. Hoare An axiomatic basis for computer programming Communications of the ACM 12 10 576 583 October 1969
7. E. W. Dijkstra C. S. Scholten Predicate Calculus and Program Semantics 1990 Springer-Verlag New York
8. K. M. Chandy A. Rifkin P. A.G. Sivilotti J. Mandelson M. Richardson W. Tanaka L. Weisman A worldwide distributed system using java and the internet Proceedings of the Fifth Workshop on High Performance Distributed Computing Proceedings of the Fifth Workshop on High Performance Distributed Computing Syracuse NY 1996-August
9. J. Gosling B. Joy G. Steele The Java Language Specification SunSoft Java Series 1996 Addison-Wesley Developers Press
10. W. R. Stevens TCP/IP Illustrated, Volume 1: The Protocols 1994 Addison-Wesley MA, Reading
11. T. Berners-Lee R. Cailiiau J. Groff B. Pollermann World wide web: The information universe Electronic Networking: Research, Applications, and Policy 1 2 1992
12. The Common Object Request Broker: Architecture and Specification (COBRA) 1995 OMG
13. J. B. Postel User Datagram Protocol August 1980 RFC 768
14. A. D. Birrell B. J. Nelson Implementing remote procedure call ACM Transactions on Computer Systems 2 1 39 59 February 1984
15. P. A.G. Sivilotti K. M. Chandy Toward high confidence distributed programming with java: Reliable thread libraries International Conference on Software Engineering International Conference on Software Engineering 1996-July
16. A. Rifkin Application development using analytic and experimental performance tuning 1996 CS-TR96-09 California Institute of Technology
17. J. Thornley A Parallel Programming Model with Sequential Semantics 1996 California Institute of Technology
18. B. L. Massingill Parallel Programming Archetypes in Scientific Computing 1997 California Institute of Technology
19. K. M. Chandy B. A. Sanders Predicate transformers for reasoning about concurrent computation Science of Computer Programming 24 2 129 147 April 1995
20. K. M. Chandy A. Rifkin Systematic composition of objects in distributed internet applications: Processes and sessions 1996 CS-TR-96-15 California Institute of Technology
21. A. S. Tanenbaum Distributed Operating Systems 1995 PrenticeHall NJ, Englewood Cliffs
22. H. E. Bal J. G. Steiner A. S. Tanenbaum Programming languages for distributed computing systems ACM Computing Surveys 21 3 261 322 September 1989
23. N. A. Lynch Distributed Algorithms 1996 Morgan-Kaufmann CA, San Francisco
24. A. Birrell G. Nelson S. Owicki E. P. Wobber Network objects Software Practice and Experience 25 S4 87 130 December 1995
25. L. Cardelli A language with distributed scope Computing Systems 8 l 27 59 January 1995
26. J. B. White Telescript Technology: The Foundation for the Electronic Marketplace 1994 General Magic, Inc
27. Inter-Language Unification 1996 Xerox Pare CA, Palo Alto