{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:50Z","timestamp":1725663890958},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539827"},{"type":"electronic","value":"9783540465638"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53982-4_20","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:20:27Z","timestamp":1330208427000},"page":"359-380","source":"Crossref","is-referenced-by-count":3,"title":["Object-based concurrency : A process calculus analysis"],"prefix":"10.1007","author":[{"given":"Elie","family":"Najm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Bernard","family":"Stefani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"20_CR1","unstructured":"P. America: \u201cPOOL-T \u2014 A parallel object-oriented language\u201d in: [Yonezawa 87]"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"P. America, J.W. de Bakker: \u201cDesigning equivalent semantic models for process creation\u201d \u2014 Theoretical Computer Science 60, 1988.","DOI":"10.1016\/0304-3975(88)90048-5"},{"key":"20_CR3","unstructured":"ESPRIT Project no2267 (Integrated Systems Architecture) \u2014 Advanced Network Systems Architecture Reference Manual \u2014 Architecture Project Management Cambridge, UK-March 1989."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"H.E. Bal, J.G. Steiner, A.S. Tanenbaum: \u201cProgramming Languages for Distributed Computing Systems\u201d \u2014 ACM Computing Surveys, Vol.21, No3, September 1989.","DOI":"10.1145\/72551.72552"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"A. Black, N. Hutchinson, E. Jul, H. Levy, L. Carter: \u201cDistribution and abstract types in Emerald\u201d \u2014 IEEE Transactions on Software Engineering, SE 13 (1), January 1987.","DOI":"10.1109\/TSE.1987.232836"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"G. Boudol: \u201cNotes on Algebraic Calculi of Processes\u201d \u2014 Advanced NATO School Series on Logics and Models for Verification and Specification of Concurrent Systems, Springer-Verlag 1985.","DOI":"10.1007\/978-3-642-82453-1_9"},{"key":"20_CR7","unstructured":"E. Cusack, S. Rudkin, C. Smith: \u201cAn Object-Oriented Interpretation of LOTOS\u201d \u2014 in Proceedings FORTE 1989 \u2014 Vancouver, December 1989."},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"E. Cusack, M. Lai: \u201dObject-oriented Specification in LOTOS and Z or, My Cat Really Is Object-Oriented !\u201d \u2014 Proceedings Workshop on the Foundations of Object-Oriented Languages, Noordwijkerhout, The Netherlands \u2014 1990.","DOI":"10.1007\/BFb0019444"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"P. Dasgupta, R. Leblanc, W. Appelbe: \u201cThe Clouds distributed operating systems: functional description, implementation details and related work\u201d \u2014 8th International Conference on Distributed Computer Systems, San Jose, CA, USA. June 1988.","DOI":"10.1109\/DCS.1988.12493"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"D. Duke, R. Duke: \u201cTowards a Semantics for Object-Z\u201d \u2014 Proceedings VDM '90 \u201cVDM and Z\u201d \u2014 Lecture Notes in Computer Science, Springer-Verlag 1990.","DOI":"10.1007\/3-540-52513-0_14"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr:\u201dFundamental of Algebraic Specification 1\u201d \u2014 EATCS Monographs on Theoretical Computer Science \u2014 Springer-Verlag 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"U. Engberg, M. Nielsen: \u201cA Calculus of Communicating Systems with Label Passing\u201d \u2014 Report DAIMI PB 208 \u2014 Aarhus Denmark \u2014 May 1986.","DOI":"10.7146\/dpb.v15i208.7559"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"J. Fiadeiro, T. Maibaum: \u201cDescribing, Structuring and Implementing Objects\u201d \u2014 Proceedings Workshop on the Foundations of Object-Oriented Languages, Noordwijkerhout, The Netherlands \u2014 May 1990.","DOI":"10.1007\/BFb0019447"},{"key":"20_CR14","unstructured":"J.A. Goguen: \u201cSheaf Semantics for Concurrent Interacting Objects\u201d \u2014 Proceedings Workshop on the Foundations of Object-Oriented Languages, Noordwijkerhout, The Netherlands \u2014 May 1990."},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"A. Hoare: \u201cCommunicating Sequential Processes\u201d \u2014 Prentice Hall 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"20_CR16","unstructured":"International Standard 8807 \u2014 \u201cLOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behavior\u201d \u2014 1988"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"B. Liskov, R. Scheifler: \u201cGuardians and actions: linguistic support for robust distributed programs\u201d \u2014 ACM Transactions on Programming Languages and Systems. Vol 5 no3, July 1988.","DOI":"10.1145\/2166.357215"},{"key":"20_CR18","unstructured":"T. Mayr: \u201cSpecifications of object-oriented systems in LOTOS\u201d \u2014 In proceedings FORTE 1988."},{"key":"20_CR19","unstructured":"B. Meyer: \u201cObject-oriented Software Construction\u201d \u2014 Prentice-Hall 1988."},{"key":"20_CR20","unstructured":"R. Milner: \u201cCommunication and Concurrency\u201d \u2014 Prentice-Hall 1989."},{"key":"20_CR21","unstructured":"R. Milner, J. Parrow, D. Walker: \u201cA Calculus of Mobile Processes \u2014 Part I\u201d \u2014 LFCS Report 89-85. University of Edinburgh June 1989."},{"key":"20_CR22","unstructured":"R. Milner, J. Parrow, D. Walker: \u201cA Calculus of Mobile Processes \u2014 Part II\u201d \u2014 LFCS Report 89-86. University of Edinburgh June 1989."},{"key":"20_CR23","unstructured":"R. Milner: \u201cFunctions as Processes\u201d \u2014 INRIA Research Report no 1124, February 1990 \u2014 INRIA, Rocquencourt, France."},{"key":"20_CR24","unstructured":"R.K. Raj, E. Tempero, H.M. Levy, N.C. Hutchinson, P. Black: \u201cThe Emerald Approach to Programming\u201d \u2014 Technical report 88-11-01 University of Washington, WA, USA \u2014 November 1988."},{"key":"20_CR25","unstructured":"J.J.M.M. Rutten: \u201cSemantic Correctness for a Parallel Object-oriented Language\u201d \u2014 Report CS-R8843. Centrum voor Wiskunde en Informatica, Amsterdam. October 1988."},{"key":"20_CR26","doi-asserted-by":"crossref","unstructured":"A. Sernadas, J. Fiadeiro, C. Sernadas, H.D. Ehrig: \u201cAbstract Object Types: A Temporal Perspective\u201d \u2014 in Nabieqbal, Baringer and Pnueli (eds) Temporal Logic in Specification \u2014 LNCS 398 \u2014 Springer Verlag 1989.","DOI":"10.1007\/3-540-51803-7_33"},{"key":"20_CR27","doi-asserted-by":"crossref","unstructured":"P. Wegner: \u201cDimensions of Object-Based Language Design\u201d in Proceedings OOPSLA 1987.","DOI":"10.1145\/38765.38823"},{"key":"20_CR28","unstructured":"A. Yonezawa, M. Tokoro, eds: \u201cObject-Oriented Concurrent Systems\u201d \u2014 MIT Press 1987."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53982-4_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:49Z","timestamp":1605646309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53982-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539827","9783540465638"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-53982-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}