{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:55:50Z","timestamp":1754484950545},"reference-count":34,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1995,5,1]],"date-time":"1995-05-01T00:00:00Z","timestamp":799286400000},"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":[[1995,5]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>This paper presents a fully abstract semantics of classes for the object oriented formal specification language Object-Z. Such a semantics includes no unnecessary syntactic details and, hence, describes a class in terms of the external behaviour of its objects only. The semantics, based on an extension of existing process models, defines a notion of behavioural equivalence which is stronger than that of CSP and weaker than that of CCS.<\/jats:p>","DOI":"10.1007\/bf01211075","type":"journal-article","created":{"date-parts":[[2005,2,24]],"date-time":"2005-02-24T15:57:58Z","timestamp":1109260678000},"page":"289-313","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":52,"title":["A fully abstract semantics of classes for Object-Z"],"prefix":"10.1145","volume":"7","author":[{"given":"Graeme","family":"Smith","sequence":"first","affiliation":[{"name":"Software Verification Research Centre, Department of Computer Science, University of Queensland, 4072, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","unstructured":"Birtwistle G. Dahl O-J. Myhrhaug B. and Nygaard K.: Simula Begin . Auerbach 1973."},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/828.833"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Bloom B. Istrail S. and Meyer A.: Bisimulation can't be traced: Preliminary report. In Proceedings 15th ACM Symposium on Principles of Programming Languages pages 229\u2013239 1988.","DOI":"10.1145\/73560.73580"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","unstructured":"Bloom B. and Meyer A.: Experimenting with process equivalence. In M. Kwiatkowska M. Shields and R. Thomas editors Proceedings BCS-FACS Workshop on Semantics for Concurrency Workshops in Computing pages 81\u201395. Springer-Verlag 1990.","DOI":"10.1007\/978-1-4471-3860-0_6"},{"key":"e_1_2_1_2_5_2","unstructured":"Booch G.: Object-Oriented Design with Applications . Addison-Wesley 1990."},{"key":"e_1_2_1_2_6_2","unstructured":"Carrington D. Duke D. Duke R. King P. Rose G. and Smith G.: Object-Z: An object-oriented extension to Z. In S. Vuong editor Formal Description Techniques II (FORTE'89) pages 281\u2013296. North-Holland 1990."},{"key":"e_1_2_1_2_7_2","unstructured":"Cusack E. Rudkin S. and Smith C.: An object oriented interpretation of LOTOS. In S. Vuong editor Formal Description Techniques II (FORTE'89) pages 211\u2013226. North-Holland 1990."},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"crossref","unstructured":"Duke D. and Duke R.: Towards a semantics for Object-Z. In D. Bj\u00f8rner C.A.R. Hoare and H. Langmaack editors VDM'90: VDM and Zl volume 428 of Lecture Notes in Computer Science pages 242\u2013262. Springer-Verlag 1990.","DOI":"10.1007\/3-540-52513-0_14"},{"key":"e_1_2_1_2_9_2","unstructured":"Duke D. King P. Rose G. and Smith G.: The Object-Z specification language. In T. Korson V. Vaishnavi and B. Meyer editors Technology of Object-Oriented Languages and Systems: TOOLS 5 pages 465\u2013483. Prentice-Hall International 1991."},{"key":"e_1_2_1_2_10_2","volume-title":"Technical Report 91-1","author":"Duke D.","year":"1991"},{"key":"e_1_2_1_2_11_2","unstructured":"Fidge G.: A formal definition of priority in CSP. In Proceedings 15th Australian Computer Science Conference(ACSC-15) pages 267\u2013284 January 1992."},{"key":"e_1_2_1_2_12_2","unstructured":"Goldberg A. and Robson D.: Smalltalk 80: The Language and its Implementation . Addison-Wesley 1983."},{"key":"e_1_2_1_2_13_2","unstructured":"Hoare C.A.R.: Communicating Sequential Processes . Series in Computer Science. Prentice-Hall International 1985."},{"key":"e_1_2_1_2_14_2","unstructured":"Jones G. and Goldsmith M.: Programming in occam 2 . Series in Computer Science. Prentice-Hall International 1988."},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"crossref","unstructured":"Jonsson B.: A fully abstract trace model for dataflow networks. In Proceedings 16th ACM Symposium on Principles of Programming Languages pages 155\u2013165 1989.","DOI":"10.1145\/75277.75291"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","unstructured":"Larsen L. and Skou A.: Bisimulation through probabilistic testing (preliminary report). In Proceedings 16th ACM Symposium on Principles of Programming Languages pages 344\u2013352 1989.","DOI":"10.1145\/75277.75307"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"crossref","unstructured":"Meyer A. and Cosmadakis S.: Semantical paradigms: Notes for an invited lecture. In Proceedings 3rd IEEE Symposium on Logic in Computer Science pages 236\u2013253 1988.","DOI":"10.21236\/ADA202995"},{"key":"e_1_2_1_2_18_2","unstructured":"Meyer B.: Object-Oriented Software Construction . Series in Computer Science. Prentice-Hall International 1988."},{"key":"e_1_2_1_2_19_2","unstructured":"Milner R.: Communication and Concurrency . Series in Computer Science. Prentice-Hall International 1989."},{"key":"e_1_2_1_2_20_2","unstructured":"Narfelt K.: SYSDAX \u2014 an object oriented design methodology based on SDL. In SDL'87: State of the Art and Future Trends . North-Holland 1987."},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00268075"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90044-5"},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"crossref","unstructured":"Pnueli A.: Linear and branching structures in the semantics and logics of reactive systems. In W. Brauer editor Proceedings 12th International Colloquium on Automata Languages and Programming (ICALP'85) volume 194 of Lecture Notes in Computer Science pages 15\u201332. Springer-Verlag 1985.","DOI":"10.1007\/BFb0015727"},{"key":"e_1_2_1_2_24_2","unstructured":"Potter P. Sinclair J. and Till D.: An Introduction to Formal Specification and Z . Series in Computer Science. Prentice-Hall International 1990."},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"crossref","unstructured":"Roscoe A. and Barrett G.: Unbounded nondeterminism in CSP. In M. Main A. Melton M. Mislove and D. Schmidt editors Proceedings 5th International Conference on the Mathematical Foundations of Programming Semantics volume 442 of Lecture Notes in Computer Science pages 160\u2013193. Springer-Verlag 1990.","DOI":"10.1007\/BFb0040257"},{"key":"e_1_2_1_2_26_2","volume-title":"Technical Report TR 89-1022","author":"Russell J.","year":"1989"},{"key":"e_1_2_1_2_27_2","doi-asserted-by":"crossref","unstructured":"Stepney S. Barden R. and Cooper D.: editors. Object Orientation in Z. Workshops in Computing. Springer-Verlag 1992.","DOI":"10.1007\/978-1-4471-3552-4"},{"key":"e_1_2_1_2_28_2","unstructured":"Sijelmassi R. and Gaudette P.: An object-oriented model for Estelle. In K. Turner editor Formal Description Techniques (FORTE'88) pages 91\u2013105. North-Holland 1989."},{"key":"e_1_2_1_2_29_2","unstructured":"Smith G.: A fully-abstract semantics of classes for Object-Z (full paper). Formal Aspects of Computing 7(E) pp 30\u201366."},{"key":"e_1_2_1_2_30_2","unstructured":"Smith G.: An Object-Oriented Approach to Formal Specification . PhD thesis Department of Computer Science University of Queensland 1992."},{"key":"e_1_2_1_2_31_2","unstructured":"Spivey J.M.: The Z Notation: A Reference Manual . Series in Computer Science. Prentice-Hall International 1989."},{"key":"e_1_2_1_2_32_2","unstructured":"Stoughton A.: Fully Abstract Models of Programming Languages . Research Notes in Theoretical Computer Science. Pitman\/Wiley 1988."},{"key":"e_1_2_1_2_33_2","unstructured":"Utting M. and Robinson K.: Towards an object-oriented refinement calculus. In Proceedings 14th Australian Computer Science Conference (ACSC-14) February 1991."},{"key":"e_1_2_1_2_34_2","unstructured":"Yelland P.: First steps towards fully abstract semantics for object-oriented languages. In S. Cook editor Proceedings European Conference 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\/BF01211075.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01211075\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01211075","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:24:00Z","timestamp":1641482640000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01211075"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,5]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,5]]}},"alternative-id":["10.1007\/BF01211075"],"URL":"https:\/\/doi.org\/10.1007\/bf01211075","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,5]]}}}