{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:06Z","timestamp":1725663846680},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_40","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:10:16Z","timestamp":1330258216000},"page":"485-494","source":"Crossref","is-referenced-by-count":0,"title":["Object Oriented application flow graphs and their semantics"],"prefix":"10.1007","author":[{"given":"Erik","family":"Haas","sequence":"first","affiliation":[]},{"given":"Peter","family":"Emde Boas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"40_CR1","first-page":"69","volume":"29","author":"P. America","year":"1986","unstructured":"P. America, Object Oriented programming: a theoreticians introduction, Bulletin of the European Association for Theoretical Computer Science, 29, 1986, pp.69\u201384.","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"40_CR2","unstructured":"P. America, POOL-T: A parallel object oriented Language, in A. Yonezawa, M. Tokoro (Eds.), Object Oriented Concurrent Programming, MIT Press, 1987, pp.199\u2013220."},{"key":"40_CR3","doi-asserted-by":"crossref","unstructured":"P. America, J.W. de Bakker, J.N. Kok, J.Rutten, Operational semantics for a parallel object oriented language, in Conference Record of the 13th Symposium on Principles of Programming Languages (POPL), St. Petersburg Florida, 1986, pp.194\u2013208.","DOI":"10.1145\/512644.512662"},{"key":"40_CR4","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1016\/0890-5401(89)90057-6","volume":"83","author":"P. America","year":"1989","unstructured":"P.America, J.W. de Bakker, J.Rutten, J.N. Kok, Denotational semantics of a parallel object oriented language, Information and Computation vol. 83, pp.152\u2013205, 1989","journal-title":"Information and Computation"},{"key":"40_CR5","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1007\/BF01463943","volume":"28","author":"J. Bos van den","year":"1991","unstructured":"J. van den Bos, C. Laffra, PROCOL, a Concurrent Object Oriented Language with Protocols, deligation and constraints, Acta Informatica, Vol.28, fasc.6, pp.511\u2013538, 1991.","journal-title":"Acta Informatica"},{"key":"40_CR6","doi-asserted-by":"crossref","unstructured":"J.W. de Bakker, J.N. Kok, J.-J.Ch. Meyer, E.-R. Olderog, J.I. Zucker, Contrasting themes in the semantics of imperative concurrency, Current Trends in Concurrency (J.W. de Bakker e.a. eds.), LNCS 244, Springer 1985.","DOI":"10.1007\/BFb0027040"},{"issue":"5","key":"40_CR7","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/355592.365646","volume":"9","author":"C. B\u00f6hm","year":"1966","unstructured":"C.B\u00f6hm, G. Jacopini, Flow-diagrams, Turing Machines, and Languages with Only Two Formation Rules, Comm. ACM 9 5,May 1966, pp. 366\u2013371.","journal-title":"Comm. ACM"},{"issue":"nr.4","key":"40_CR8","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli, P. Wegner, On understanding Types, Data Abstractions and Polymorphism, Computing Surveys, vol. 17, nr. 4, December 1985, pp.471\u2013522.","journal-title":"Computing Surveys"},{"key":"40_CR9","volume-title":"Smalltalk-80: The language and its implementation","author":"A. Goldberg","year":"1983","unstructured":"A. Goldberg, D, Robson, Smalltalk-80: The language and its implementation, Addison-Wesley, Reading, MA, 1983."},{"key":"40_CR10","doi-asserted-by":"crossref","unstructured":"M.C.B. Hennessy, G.D. Plotkin, Full abstraction for a simple parallel programming language, Proceedings of the 8th MFCS (J. Becvar ed.), LNCS 74 Springer 1979, pp.108\u2013120.","DOI":"10.1007\/3-540-09526-8_8"},{"key":"40_CR11","unstructured":"G. Kahn, The semantics of a simple language for parallel programming, Proceedings Information Processing (Rosenfeld ed.), pp.471\u2013475, North Holland, 1977."},{"key":"40_CR12","volume-title":"Technical report CS-R8835","author":"J. N. Kok","year":"1988","unstructured":"J.N. Kok, Data Flow semantics, Technical report CS-R8835, Centre for Mathematics and Computer Science, Amsterdam, 1988."},{"key":"40_CR13","unstructured":"Bertrand Meyer, Object Oriented Software Construction, Prentice Hall 1988, ISBN 0-13-629049-3."},{"key":"40_CR14","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF01237234","volume":"28","author":"T. J. Marlow","year":"1990","unstructured":"T.J. Marlow, B.G. Ryder, Properties of dataflow frameworks, Acta Informatica, vol.28, fasc.2, pp.121\u2013163, 1990.","journal-title":"Acta Informatica"},{"key":"40_CR15","unstructured":"G.D. Plotkin, A structural approach to operational semantics, Technical Report DAIMI FN-19, Aarhuis University, Computer Science department, 1981."},{"key":"40_CR16","volume-title":"Report CS-R8843","author":"J. Rutten","year":"1987","unstructured":"J. Rutten, Semantic correctness for a parallel object oriented language, Report CS-R8843, Centre for Mathematics and Computer Science, Amsterdam, November 1987."},{"key":"40_CR17","doi-asserted-by":"crossref","unstructured":"P.C. Treleaven, D.R. Brownbridge, R.P. Hopkins, Data driven and demand driven computer architecture, Computing Surveys 14(1), March 1982.","DOI":"10.1145\/356869.356873"},{"key":"40_CR18","unstructured":"Peter Wegner, Learning the Language, BYTE, march 1989."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:41Z","timestamp":1605647321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}