{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,15]],"date-time":"2023-04-15T17:10:02Z","timestamp":1681578602124},"reference-count":28,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Computing"],"published-print":{"date-parts":[[1998,7]]},"DOI":"10.1016\/s0167-8191(98)00044-1","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T00:05:28Z","timestamp":1027641928000},"page":"1107-1135","source":"Crossref","is-referenced-by-count":1,"title":["Behaviour specification of parallel active objects"],"prefix":"10.1016","volume":"24","author":[{"given":"Tom","family":"Holvoet","sequence":"first","affiliation":[]},{"given":"Thilo","family":"Kielmann","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0167-8191(98)00044-1_BIB1","doi-asserted-by":"crossref","unstructured":"A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, V. Sunderam, PVM: Parallel Virtual Machine\u2014A Users Guide and Tutorial for Network Parallel Computing, MIT Press, Cambridge, MA, 1994.","DOI":"10.7551\/mitpress\/5712.001.0001"},{"key":"10.1016\/S0167-8191(98)00044-1_BIB2","unstructured":"W. Gropp, E. Lusk, A. Skjellum, Using MPI: Portable Parallel Programming with the Message-Passing Interface, MIT Press, Cambridge, MA, 1994."},{"key":"10.1016\/S0167-8191(98)00044-1_BIB3","unstructured":"Object Management Group, The Common Object Request Broker: Architecture and Specification (draft), edn. 2.0, 1995."},{"key":"10.1016\/S0167-8191(98)00044-1_BIB4","unstructured":"Open Software Foundation, Introduction to OSF DCE, Open Software Foundation, Cambridge, USA, 1992."},{"key":"10.1016\/S0167-8191(98)00044-1_BIB5","doi-asserted-by":"crossref","unstructured":"J. Proti\u0107, M. Toma\u0161evi\u0107, V. Milutinovi\u0107, A survey of distributed shared memory systems, Proc. 28th Hawaii International Conference on System Sciences, Maui, HA, 1995, pp. 74\u201384.","DOI":"10.1109\/HICSS.1995.375407"},{"issue":"1","key":"10.1016\/S0167-8191(98)00044-1_BIB6","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/174666.174668","article-title":"The interdisciplinary study of coordination","volume":"26","author":"Malone","year":"1994","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/S0167-8191(98)00044-1_BIB7","unstructured":"N. Carriero, D. Gelernter, How to Write Parallel Programs, MIT Press, Cambridge, MA, 1990."},{"issue":"4","key":"10.1016\/S0167-8191(98)00044-1_BIB8","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1016\/0167-8191(94)90032-9","article-title":"The Linda alternative to message-passing systems","volume":"20","author":"Carriero","year":"1994","journal-title":"Parallel Comput."},{"key":"10.1016\/S0167-8191(98)00044-1_BIB9","unstructured":"T. Kielmann, Objective Linda: A Coordination Model for Object-Oriented Parallel Programming, PhD dissertation, Dept. of Electrical Engineering and Computer Science, University of Siegen, Germany, 1997."},{"key":"10.1016\/S0167-8191(98)00044-1_BIB10","doi-asserted-by":"crossref","unstructured":"S. Maffeis, System support for distributed computing, in: W. Gentzsch, U. Harms (Eds.), High-Performance Computing and Networking, Proc. HPCN Europe 1994, number 797 in Lecture Notes in Computer Science, Munich, Germany, Springer, Berlin, 1994, pp. 293\u2013301.","DOI":"10.1007\/3-540-57981-8_133"},{"key":"10.1016\/S0167-8191(98)00044-1_BIB11","unstructured":"T. Kielmann, Programming heterogeneous workstation clusters based on coordination, Proc. ICCI '96, 8th International Conference of Computing and Information, Waterloo, Ontario, Canada, June 1996, Published as special issue of the CD-ROM J. Comput. Information (JCI)."},{"key":"10.1016\/S0167-8191(98)00044-1_BIB12","unstructured":"R.H. Sprague Jr. (Ed.), Proc. of the Thirtieth Annual Hawaii International Conference on System Sciences, IEEE, Wailea, HA, USA, 1997."},{"key":"10.1016\/S0167-8191(98)00044-1_BIB13","doi-asserted-by":"crossref","unstructured":"K. Jensen, G. Rozenberg, High-level Petri Nets, Springer, Berlin, 1991.","DOI":"10.1007\/978-3-642-84524-6"},{"key":"10.1016\/S0167-8191(98)00044-1_BIB14","doi-asserted-by":"crossref","unstructured":"K. Jensen, Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, Springer, Berlin, 1992.","DOI":"10.1007\/978-3-662-06289-0"},{"key":"10.1016\/S0167-8191(98)00044-1_BIB15","unstructured":"P.M. Merlin, A Study of Recoverability of Computing Systems, PhD dissertation, Dept. of Information and Computer Science, University of California, Irvine, CA, 1974."},{"key":"10.1016\/S0167-8191(98)00044-1_BIB16","doi-asserted-by":"crossref","unstructured":"P. Ciancarini, C. Hankin (Eds.), Coordination Languages and Models, number 1061 in Lecture Notes in Computer Science, Cesena, Italy, Springer, Berlin, Proc. COORDINATION '96, 1996.","DOI":"10.1007\/3-540-61052-9"},{"key":"10.1016\/S0167-8191(98)00044-1_BIB17","doi-asserted-by":"crossref","unstructured":"P. Wegner, S.B. Zdonik, Inheritance as an incremental modification mechanism or what like is and isn't like, in: S. Gjessing, K. Nygaard (Eds.), Proc. ECOOP '88, number 322 in Lecture Notes in Computer Science, Oslo, Norway, 1988, Springer, Berlin, pp. 55\u201377.","DOI":"10.1007\/3-540-45910-3_4"},{"key":"10.1016\/S0167-8191(98)00044-1_BIB18","doi-asserted-by":"crossref","unstructured":"K. Jensen, Coloured Petri nets: a high level language for system design and analysis, in: G. Rozenberg (Ed.), Advances in Petri Nets, number 483 in Lecture Notes in Computer Science, Springer, Berlin, 1990, pp. 342\u2013416.","DOI":"10.1007\/3-540-53863-1_31"},{"key":"10.1016\/S0167-8191(98)00044-1_BIB19","unstructured":"J. Palsberg, M.I. Schwartzbach, Object-Oriented Type Systems, Wiley, Chichester, 1994."},{"issue":"6","key":"10.1016\/S0167-8191(98)00044-1_BIB20","doi-asserted-by":"crossref","first-page":"1811","DOI":"10.1145\/197320.197383","article-title":"A behavioural notion of subtyping","volume":"16","author":"Liskov","year":"1994","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"10.1016\/S0167-8191(98)00044-1_BIB21","doi-asserted-by":"crossref","unstructured":"G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, Cambridge, MA, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"10.1016\/S0167-8191(98)00044-1_BIB22","unstructured":"O. Nierstrasz, Regular types for active objects, in: O. Nierstrasz, D. Tsichritzis (Eds.), Object-Oriented Software Composition, Chap. 4, Prentice-Hall, Englewood Cliffs, NJ, 1995, pp. 99\u2013121."},{"issue":"9","key":"10.1016\/S0167-8191(98)00044-1_BIB23","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/162685.162705","article-title":"Systematic concurrent object-oriented programming","volume":"36","author":"Meyer","year":"1993","journal-title":"Commun. ACM"},{"key":"10.1016\/S0167-8191(98)00044-1_BIB24","doi-asserted-by":"crossref","unstructured":"P. Ciancarini, K.K. Jensen, D. Yankelevich, On the operational semantics of a coordination language, in: P. Ciancarini, O. Nierstrasz, A. Yonezawa (Eds.), Object-Based Models and Languages for Concurrent Systems, number 924 in Lecture Notes in Computer Science, Springer, Berlin, 1995, pp. 77\u2013106.","DOI":"10.1007\/3-540-59450-7_6"},{"key":"10.1016\/S0167-8191(98)00044-1_BIB25","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","article-title":"Testing equivalences for processes","volume":"34","author":"De Nicola","year":"1984","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"10.1016\/S0167-8191(98)00044-1_BIB26","first-page":"227","article-title":"On time Petri nets","volume":"27","author":"Popova","year":"1991","journal-title":"J. Information Processing Cybernet."},{"key":"10.1016\/S0167-8191(98)00044-1_BIB27","doi-asserted-by":"crossref","unstructured":"B. Freisleben, T. Kielmann, Coordination patterns for parallel computing, in: D. Garlan, D.L. M\u00e9tayer (Eds.), Coordination Languages and Models, number 1282 in Lecture Notes in Computer Science, Berlin, Germany, Springer, Berlin, Proc. COORDINATION '97, 1997, pp. 414\u2013417.","DOI":"10.1007\/3-540-63383-9_95"},{"key":"10.1016\/S0167-8191(98)00044-1_BIB28","doi-asserted-by":"crossref","unstructured":"G. Booch, Object Oriented Design with Applications, Benjamin\/Cummings, 1991.","DOI":"10.1145\/149576.149582"}],"container-title":["Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167819198000441?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167819198000441?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,15]],"date-time":"2023-04-15T16:38:24Z","timestamp":1681576704000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167819198000441"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7]]},"references-count":28,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1998,7]]}},"alternative-id":["S0167819198000441"],"URL":"http:\/\/dx.doi.org\/10.1016\/s0167-8191(98)00044-1","relation":{},"ISSN":["0167-8191"],"issn-type":[{"value":"0167-8191","type":"print"}],"subject":[],"published":{"date-parts":[[1998,7]]}}}
