A blocking model for reactive objects

Formal Aspects of Computing

Volumn 8, Issue 3, 1996, Pages 347-368

  Duke, Roger ^a   Bailes, Cecily ^a   Smith, Graeme ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Object compatibility; Reactive objects

Indexed keywords

RECOVERY;

BLOCKING; COMPATIBILITY; FAILURES; LOWER BOUND; MESSAGE TRANSMISSION; MODELING; OBJECT ORIENTED; REMOTE DATA PROCESSING; UPPER BOUND;

TRANSMISSIONS;

EID: 0030376971     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01214919     Document Type: Article

References (16)

1. Abadi, M. and Lamport, L.: Composing specifications. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Proc. REX Workshop on Stepwise Refinement of Distributed Systems, volume 430 of LNCS, pages 1-41. Springer-Verlag, 1990.
2. America, P.: Inheritance and subtyping in a parallel object-oriented language. In J. Bézivin, J.-M. Hullot, P. Cointe, and H. Lieberman, editors, Proc. European Conf. on Object-Oriented Programming (ECOOP'87), volume 276 of LNCS, pages 234-242. Springer-Verlag, 1987.
3. America, P.: A behavioural approach to subtyping in object-oriented programming languages. Technical Report 443, Philips Research Laboratories, Eindhoven, The Netherlands, 1989.
4. Cook, W., Hill, W. and Canning, P.: Inheritance is not subtyping. In Proc. 17th ACM Symp. on Princ. of Prog. Lang., 1990.
5. Duke, R., Bailes, C. and Smith, G.: Fully abstract model of reactive objects. Formal Aspects of Computing, 8(E): 184-243, 1996.
6. Halbert, D. and O'Brien, P.: Using types and inheritance in object-oriented languages. In J. Bézivin, J.-M. Hullot, P. Cointe, and H. Lieberman, editors, Proc. European Conf. on Object-Oriented Programming (ECOOP'87), volume 276 of LNCS, pages 20-31. Springer-Verlag, 1987.
7. Lam, S. and Shankar, A.V.: A relational notation for state transition systems. IEEE Trans. Software Eng., 16(7):755-775, July 1990.
8. Lam, S. and Shankar, A.V.: Understanding interfaces. In K. Parker and G. Rose, editors, Formal Description Techniques. IV (FORTE'91), pages 165-184, 1991.
9. Lynch, N. and Tuttle, M.: An introduction to Input/Output Automata. CWI Quarterly, 2(3):219-246, September 1989.
10. Meyer, B.: Object-Oriented Software Construction. International Series in Computer Science. Prentice-Hall, 1988.
11. Potter, B., Sinclair, J. and Till, D.: An Introduction to Formal Specification and Z. International Series in Computer Science. Prentice-Hall, 1990.
12. Spivey, J.M.: The Z Notation: A Reference Manual. International Series in Computer Science. Prentice-Hall, 1989.
13. Stoughton, A.: Fully Abstract Models of Programming Languages. Research Notes in Theoret. Comput. Sci. Pitman/Wiley, 1988.
14. Utting, M. and Robinson, K.: Towards an object-oriented refinement calculus. In Proc. 14th Australian Comput. Sci. Conf. (ACSC-14), February 1991.
15. Wegner, P. and Zdonik, S.: Inheritance as an incremental modification mechanism or what like is and isn't like. In S. Gjessing and K. Nygaard, editors, Proc. European Conf. on Object-Oriented Programming (ECOOP'88), volume 322 of LNCS, pages 55-77. Springer-Verlag, 1988.
16. Yelland, P.: First steps towards fully abstract semantics for object-oriented languages. In S. Cook, editor, Proc. European Conf. on Object-Oriented Programming (ECOOP'89), pages 347-364. Cambridge University Press, 1989.