References

1

Agha, G., ACTORS: A Model of Concurrent Computation in Distributed Systems, MIT Press, 1986.

2

Aksit, M., L. Bergmans, & S. Vural, ``An Object-Oriented Language - Database Integration Model: The Composition-Filters Approach'', Proceedings, ECOOP '92, LNCS 615, Springer-Verlag, 1992.

3

Alexiev, V., Mutable Object State for Object-Oriented Logic Programming: A Survey, Technical Report TR 93-15, Department of Computing Science, University of Alberta, 1993.

4

Allen, R., & D. Garlan, ``Formal Connectors'', Technical Report CMU-CS-94-115, Carnegie Mellon University, 1994.

5

America, P., ``A Parallel Object-Oriented Language with Inheritance and Subtyping'', Proceedings, OOPSLA '90, ACM, 1990.

6

Arapis, C., Dynamic Evolution of Object Behavior and Object Cooperation, Thesis, University of Geneva, 1992.

7

Barwise, J., Situations and Attitudes, MIT Press, 1983.

8

Barwise, J., ``Constraints, Channels, and the Flow of Information'', in j. Peters (ed.) Situation Theory and its Applications, Volume 3, CSLI Lecture Notes, Stanford University, 1993.

9

Baumgartner, G., & V. Russo, ``Signatures: A C++ Extension for Type Abstraction and Subtype Polymorphism'', Software---Practice and Experience, 1994.

10

Birman, K., & R. Van Renesse, Reliable Distributed Computing with the Isis Toolkit, IEEE Computer Society Press, 1994.

11

Booch, G., Object-Oriented Analysis and Design, Benjamin Cummings, 1993.

12

Borgida, A., J. Mylopoulos, & R. Reiter, ``...And nothing else changes: The frame problem in procedure specifications''. Proceedings Fifteenth International Conference on Software Engineering, IEEE, 1993.

13

Buhr, R. & R. Casselman, ``Architecture with Pictures'', Proceedings, OOPSLA '92, ACM, 1992.

14

Campbell, R. H., & A. N. Habermann, ``The Specification of Process Synchronization by Path Expressions''. Lecture Notes in Computer Science 16, Springer-Verlag, 1974.

15

Chandy, K. & J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, 1988.

16

Coad, P. & E. Yourdon, Object-Oriented Analysis, Yourdon Press, Prentice-Hall, 1990.

17

Davison, A., ``A Survey of Logic Programming Based Object-Oriented Languages'', in G. Agha, P. Wegner, & A. Yonezawa (eds.) Research Directions in Concurrent Object-Oriented Programming, MIT Press, 1993.

18

de Champeaux, D., Verification of Some Parallel Algorithms, Proceedings, 7th Annual Pacific Northwest Software Quality Conference, Portland, OR, 1989.

19

de Champeaux, D., D. Lea., & P. Faure, Object-Oriented System Development, Addison-Wesley, 1993.

20

Emerson, E., ``Temporal and modal logic''. J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Volume B, MIT press, 1990.

21

Gamma, E., R. Helm, R. Johnson, & J. Vlissides. Design Patterns, Addison-Wesley, 1994.

22

Garlan, D., & M. Shaw, ``An Introduction to Software Architecture''. In V. Ambriola and G. Tortora (eds.) Advances in Software and Knowledge Engineering, vol II, World Scientific Publishing, 1993.

23

Gatziu, S., & K. Dittrich, ``Events in an Active Object-Oriented Database System'', Proceedings, 1st International Workshop on Rules in Database Systems, 1993.

24

Gupta, V., ``Concurrent Kripke Structures'', Proceedings of the North American Process Algebra Workshop Cornell CS-TR-93-1369, 1993.

25

Harel, D., ``StateCharts: A Visual Formalism for Complex Systems'', Science of Computer Programming, 8, 1987.

26

Harrison, W., & H. Ossher, ``Subject-Oriented Programming'', Proceedings, OOPSLA '93, ACM, 1993.

27

Harrison, W., The Importance of Using Object References as Identifiers of Objects, Document 94.6.12, Object Management Group, 1994.

28

Helm, R., I. Holland, & D. Gangopadhyay, ``Contracts: Specifying Behavioral Compositions in Object-Oriented Systems'', Proceedings, OOPSLA '90, ACM, 1990.

29

Hewitt, C., P. Bishop, & R. Steiger, ``A Universal Modular ACTOR Formalism for AI'', Third International Joint Conference on Artificial Intelligence, Stanford University, August 1973.

30

Hoare, C.A.R., ``An Axiomatic Basis for Computer Programming'', Communications of the ACM, 12, 1969.

31

Hogg, J., D. Lea, R. Holt, A. Wills, & D. de Champeaux, ``The Geneva Convention on the Treatment of Object Aliasing'', OOPS Messenger, April 1992.

32

Hughes, G.E., & Cresswell, M.J. An Introduction to Modal Logic, Methuen, 1971.

33

Jagadish, H., & O. Shmueli, ``Composite Events in a Distributed Object-Oriented Database'' Distributed Object Management, Morgan Kaufmann, 1994.

34

Jarvinen, H., R. Kurki-Suonio, M. Sakkinnen, & K. Systa, ``Object-Oriented Specification of Reactive Systems''. Proceedings, International Conference on Software Engineering, IEEE, 1990.

35

Jarvinen, H. The Design of a Specification Language for Reactive Systems, Technical Report 95, Tampere University of Technology, 1992.

36

Jones, C., Systematic Software Development Using VDM, Prentice Hall, 1986.

37

Kiczales, G. Open Implementations, Forthcoming book.

38

Lamport, L., ``Time, Clocks, and the Ordering of Events in Distributed Systems'', Communications of the ACM, 21(7), 1978.

39

Lamport, L., The Temporal Logic of Actions SRC Research Report 79, Digital Equipment Corp, 1991.

40

Liskov, B., & J. Guttag, Abstraction and Specification in Program Development, MIT Press, 1986.

41

Luckham, D., L. Augustin, J. Kenney, J. Vera, D. Bryan, & W. Mann, ``Specification and Analysis of a System Architecture Using Rapide'', IEEE Transactions on Software Engineering, 1994.

42

Manna, Z., & A. Pneulli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1991.

43

Manna, Z., A. Anuchitanukul, N. Bjorner, A. Browne, E. Chang, M. Colon, L. de Alfaro, H. Devarajan, H. Sipma, & T. Uribe, STeP: The Stanford Temporal Prover, Technical Report 94-1518, Stanford University, 1994.

44

McCarthy, J. & P.J. Hayes, ``Some Philosophical Problems from the Standpoint of Artificial Intelligence'', in D. Michie and B. Meltzer (eds.), Machine Intelligence 4, Edinburgh University Press, 1969.

45

McCarthy, J. Elephant 2000: A Programming Language Based on Speech Acts, Unpublished Manuscript, Stanford University, 1994.

46

Meseguer, J., ``A Logical Theory of Concurrent Objects and its Realization in the Maude Language'', in G. Agha, P. Wegner, & A. Yonezawa (eds.) Research Directions in Concurrent Object-Oriented Programming, MIT Press, 1993.

47

Milner, R., Communication and Concurrency, Prentice Hall International, 1989.

48

Milner, R., J. Parrow, & D. Walker, ``A Calculus of Mobile Processes'', Information and Computation, vol 10, pp1-77, 1992.

49

Mullender, S. (ed.) Distributed Systems, 2nd ed., Addison-Wesley, 1993.

50

Nierstrasz, O. ``Regular Types for Active Objects'', Proceedings, OOPSLA '93, ACM, 1993.

51

Newmeyer, F. Linguistics: The Cambridge Survey, Cambridge University Press, 1988.

52

OMG, Common Object Request Broker Architecture and Specification, Document 91.12.1, Object Management Group, 1991.

53

OMG, Response to the Object Management Group Object Services Task Force Request for Information, Document 91.11.6. Object Management Group, 1992.

54

OMG, Common Object Services Specification, Document 94.1.1, Object Management Group, 1994.

55

OMG, IDL C++ Language Mapping Specification, Document 94.8.2, Object Management Group, 1994.

56

Powell, M., Objects, References, Identifiers and Equality, Document 93.7.5, Object Management Group, 1993.

57

Pratt, V.R., ``Modeling Concurrency with Partial Orders'', International Journal of Parallel Programming, 15 (1), 1986.

58

Pratt, V.R., Chu Spaces: Complementarity and Uncertainty in Rational Mechanics. Technical Report, Stanford University, 1994.

59

Raj, R., E. Tempero, H. Levy, A. Black, N. Hutchinson, & E. Jul, ``Emerald: A General Purpose Programming Language'', Software---Practice and Experience, 1991.

60

Reenskaug, T. The Object Industry: The Large Scale Provision of Customized Software, Addison-Wesley, forthcoming.

61

Rumbaugh, J., M. Blaha, W. Premerlani, F. Eddy, & W. Lorensen, Object-Oriented Modeling and Design, Prentice Hall, 1991.

62

Sankar, S. & R. Hayes ``ADL: An Interface Definition Language for Specifying and Testing Software'', in Proceedings of the Workshop on Interface Definition Languages, ACM SIGPLAN Notices, 1994. Also Sun Microsystems Laboratories Technical Report SMLI TR 94-23 (April 1994).

63

Scholl, M., C. Laasch, & M. Tresch, ``Updatable Views in Object Oriented Databases'', in C. Delobel, M. Kifer & Y. Masunaga (eds.) Deductive and Object-Oriented Databases, Springer-Verlag, 1991.

64

Sproull, R., ``Guide to the Trace Modeling Tools''. Internal Sun Microsystems Laboratories document, 1993.

65

Strom, R., D. Bacon, A. Goldberg, A. Lowry, D. Yellin, & S. Yemeni, Hermes: A Language for Distributed Computing, Prentice Hall, 1991.

66

von Benthem, J. The Logic of Time, Kluwer, 1991.

67

Wegner, P., ``Tradeoffs between Reasoning and Modeling'', in G. Agha, P. Wegner, & A. Yonezawa (eds.) Research Directions in Concurrent Object-Oriented Programming, MIT Press, 1993.

68

Wieringa, R., & W. de Jonge, ``The Identification of Objects and Roles'', Technical Report TR-267, Faculty of Mathematics and Computer Science, Vrije Universiteit, 1993.

69

Wikstrom, A., Functional Programming Using Standard ML, Prentice Hall International, 1987.

70

Winskel, G., ``An Introduction to Event Structures'', REX'88: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency Lecture notes in Computer Science 354, Springer-Verlag, 1988.

71

Yellin, D., & R. Strom. ``Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors'', Proceedings, OOPSLA '94, ACM, 1994.