{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:52:30Z","timestamp":1694623950174},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1996,5,1]],"date-time":"1996-05-01T00:00:00Z","timestamp":830908800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1996,5]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Objects can be viewed as entities reacting concurrently with their environment through the sending and receiving of messages. In this paper a model for such reactive objects is constructed where messages may be blocked either by the object or by the environment. This model differentiates between output messages controlled by the object, and input messages controlled by the environment. The model is applied to define an object compatibility lattice structure enabling the construction of objects satisfying best possible compatibility requirements.<\/jats:p>","DOI":"10.1007\/bf01214919","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T16:10:59Z","timestamp":1109347859000},"page":"347-368","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A blocking model for reactive objects"],"prefix":"10.1145","volume":"8","author":[{"given":"Roger","family":"Duke","sequence":"first","affiliation":[{"name":"Software Verification Research Centre, Department of Computer Science, University of Queensland, Australia"}]},{"given":"Cecily","family":"Bailes","sequence":"additional","affiliation":[{"name":"Software Verification Research Centre, Department of Computer Science, University of Queensland, Australia"}]},{"given":"Graeme","family":"Smith","sequence":"additional","affiliation":[{"name":"Software Verification Research Centre, Department of Computer Science, University of Queensland, Australia"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"crossref","unstructured":"Abadi M. and Lamport L.: Composing specifications. In J.W. de Bakker W.-P. de Roever and G. Rozenberg editors Proc. REX Workshop on Step-wise Refinement of Distributed Systems volume 430 of LNCS pages 1\u201341. Springer-Verlag 1990.","DOI":"10.1007\/3-540-52559-9_59"},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"crossref","unstructured":"America P.: Inheritance and subtyping in a parallel object-oriented language. In J. B\u00e9zivin J.-M. Hullot P. Cointe and H. Lieberman editors Proc. European Conf. on Object-Oriented Programming (ECOOP'87) volume 276 of LNCS pages 234\u2013242. Springer-Verlag 1987.","DOI":"10.1007\/3-540-47891-4_22"},{"key":"e_1_2_1_2_3_2","volume-title":"Technical Report 443","author":"America P.","year":"1989"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","unstructured":"Cook W. Hill W. and Canning P.: Inheritance is not subtyping. In Proc. 17th ACM Symp. on Princ. of Prog. Lang. 1990.","DOI":"10.1145\/96709.96721"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/BF01214919","article-title":"Fully abstract model of reactive objects","volume":"8","author":"Duke R.","year":"1996","journal-title":"Formal Aspects of Computing"},{"key":"e_1_2_1_2_6_2","unstructured":"Haibert D. and O'Brien P.: Using types and inheritance in object-oriented languages. In J. B\u00e9zivin J.-M. Hullot P. Cointe and H. Lieberman editors Proc. European Conf. on Object-Oriented Programming (ECOOP'87) volume 276 of LNCS pages 20\u201331. Springer-Verlag 1987."},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.56101"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"crossref","unstructured":"Lam S. and Shankar A.V.: Understanding interfaces. In K. Parker and G. Rose editors Formal Description Techniques IV (FORTE'91) pages 165\u2013184 1991.","DOI":"10.1016\/B978-0-444-89402-1.50022-9"},{"issue":"3","key":"e_1_2_1_2_9_2","first-page":"219","article-title":"An introduction to Input\/Output Automata","volume":"2","author":"Lynch N.","year":"1989","journal-title":"CWI Quarterly"},{"key":"e_1_2_1_2_10_2","unstructured":"Meyer B.: Object-Oriented Software Construction . International Series in Computer Science. Prentice-Hall 1988."},{"key":"e_1_2_1_2_11_2","unstructured":"Potter B. Sinclair J. and Till D.: An Introduction to Formal Specification and Z . International Series in Computer Science. Prentice-Hall 1990."},{"key":"e_1_2_1_2_12_2","unstructured":"Spivey J.M.: The Z Notation: A Reference Manual . International Series in Computer Science. Prentice-Hall 1989."},{"key":"e_1_2_1_2_13_2","unstructured":"Stoughton A.: Fully Abstract Models of Programming Languages . Research Notes in Theoret. Comput. Sci. Pitman\/Wiley 1988."},{"key":"e_1_2_1_2_14_2","unstructured":"Utting M. and Robinson K.: Towards an object-oriented refinement calculus. In Proc. 14th Australian Comput. Sci. Conf. (ACSC-14) February 1991."},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"crossref","unstructured":"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\u201377. Springer-Verlag 1988.","DOI":"10.1007\/3-540-45910-3_4"},{"key":"e_1_2_1_2_16_2","unstructured":"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\u2013364. Cambridge University Press 1989."}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01214919.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01214919\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01214919","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:26:16Z","timestamp":1641482776000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01214919"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,5]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,5]]}},"alternative-id":["10.1007\/BF01214919"],"URL":"https:\/\/doi.org\/10.1007\/bf01214919","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,5]]}}}