{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299910},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610526"},{"type":"electronic","value":"9783540499367"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61052-9_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:12:41Z","timestamp":1330290761000},"page":"34-56","source":"Crossref","is-referenced-by-count":65,"title":["The IWIM model for coordination of concurrent activities"],"prefix":"10.1007","author":[{"given":"Farhad","family":"Arbab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"4_CR1","volume-title":"Tech. Rep. CS-R9564","author":"F. Arbab","year":"1995","unstructured":"F. Arbab, \u201cCoordination of massively concurrent activities,\u201d Tech. Rep. CS-R9564, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, 1995."},{"key":"4_CR2","series-title":"Prentice Hall International Series in Computer Science","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"C. Hoare, Communicating Sequential Processes. Prentice Hall International Series in Computer Science, New Jersey: Prentice-Hall, 1985."},{"key":"4_CR3","series-title":"Prentice Hall International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner, Communication and Concurrency. Prentice Hall International Series in Computer Science, New Jersey: Prentice Hall, 1989."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"4_CR5","series-title":"Series in Computer Science","volume-title":"OCCAM 2, Reference Manual","author":"INMOS Ltd.","year":"1988","unstructured":"INMOS Ltd., OCCAM 2, Reference Manual. Series in Computer Science, London-Sydney-Toronto-New Delhi-Tokyo: Prentice-Hall, 1988."},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1986","unstructured":"T. Bolognesi and E. Brinksma, \u201cIntroduction to the ISO specification language LOTOS,\u201d Computer Networds and ISDN Systems, vol. 14, pp. 25\u201359, 1986.","journal-title":"Computer Networds and ISDN Systems"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, and V. Sunderam, \u201cPVM 3 user's guide and reference manual,\u201d Tech. Rep. ORNL\/TM-12187, Oak Ridge National Laboratory, September 1994.","DOI":"10.7551\/mitpress\/5712.001.0001"},{"key":"4_CR8","unstructured":"J. J. Dongarra, S. W. Otto, M. Snir, and D. Walker, \u201cAn introduction to the MPI standard,\u201d Tech. Rep. CS-95-274, University of Tennessee, Jan. 1995."},{"key":"4_CR9","unstructured":"R. Butler and E. Lusk, \u201cUser's guide to the p4 parallel programming system,\u201d Tech. Rep. ANL-92\/17, Argonne National Laboratory, Oct. 1992. Version 1.4."},{"key":"4_CR10","volume-title":"tech. rep.","author":"R. Hempel","year":"1995","unstructured":"R. Hempel, H. Hoppe, U. Keller, and W. Krotz, \u201cPARMACS v6.1 specification,\u201d tech. rep., PALLAS GmbH, Hermulheimer Strasse 10, D-50321, August 1995."},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1002\/cpe.4330050103","volume":"5","author":"F. Arbab","year":"1993","unstructured":"F. Arbab, I. Herman, and P. Spilling, \u201cAn overview of Manifold and its implementation,\u201d Concurrency: Practice and Experience, vol. 5, pp. 23\u201370, February 1993.","journal-title":"Concurrency: Practice and Experience"},{"key":"4_CR12","volume-title":"Tech. Rep. preliminary version","author":"F. Arbab","year":"1995","unstructured":"F. Arbab, \u201cManifold version 2: Language reference manual,\u201d Tech. Rep. preliminary version, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, 1995."},{"key":"4_CR13","volume-title":"Tech. Rep. preliminary version","author":"C. T. H. Everaars","year":"1995","unstructured":"C. T. H. Everaars, P. W. Hemker, and W. Stortelder, \u201cManual of splds, a software package for parameter identification in dynamic systems,\u201d Tech. Rep. preliminary version, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, September 1995."},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/174666.174668","volume":"26","author":"T. Malone","year":"1994","unstructured":"T. Malone and K. Crowston, \u201cThe interdisciplinary study of coordination,\u201d ACM Computing Surveys, vol. 26, pp. 87\u2013119, March 1994.","journal-title":"ACM Computing Surveys"},{"key":"4_CR15","unstructured":"L. Dami, \u201cHOP: Hierarchical objects with ports,\u201d in Object Frameworks (D. Tsichritzis, ed.), Centre Universataire d'Informatique, University of Geneva, 1992."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"S. Frolund and G. Agha, \u201cA language framework for multi-object coordination,\u201d in Proc. ECOOP '93, vol. 707 of Lecture Notes in Computer Science, pp. 346\u2013360, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-47910-4_18"},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"N. Carriero and D. Gelernter, \u201cLINDA in context,\u201d Communications of the ACM, vol. 32, pp. 444\u2013458, 1989.","journal-title":"Communications of the ACM"},{"issue":"1","key":"4_CR18","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter, \u201cGenerative communication in Linda,\u201d ACM Transactions on Programming Languages and Systems, vol. 7, no. 1, pp. 80\u2013112, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR19","unstructured":"I. Foster and S. Taylor, Strand: New Concepts in Parallel Programming. Prentice-Hall, 1990."},{"key":"4_CR20","unstructured":"M. Wise, D. Jones, and T. Hintz, \u201cPMS-Prolog: A distributed Prolog with processes, modules and streams,\u201d in Implementations of Distributed Prolog, Series in Parallel Computing, pp. 379\u2013404, Wiley, 1992."},{"issue":"1","key":"4_CR21","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/114005.102807","volume":"13","author":"A. Borgi","year":"1991","unstructured":"A. Borgi and P. Ciancarini, \u201cThe concurrent language Shared Prolog,\u201d ACM Transactions on Programming Languages and Systems, vol. 13, no. 1, pp. 99\u2013123, 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR22","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"E. Shapiro, \u201cThe family of Concurrent Logic Languages,\u201d ACM Computing Surveys, vol. 21, pp. 412\u2013510, September 1989.","journal-title":"ACM Computing Surveys"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"J. Andreoli, P. Ciancarini, and R. Pareschi, \u201cInteraction Abstract Machines,\u201d in Trends in Object-Based Concurrent Computing, pp. 257\u2013280, MIT Press, 1993.","DOI":"10.7551\/mitpress\/2087.003.0015"},{"issue":"3\u20134","key":"4_CR24","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/BF03037173","volume":"9","author":"J. Andreoli","year":"1991","unstructured":"J. Andreoli and R. Pareschi, \u201cLinear Objects: Logical processes with built-in inheritance,\u201d New Generation Computing, vol. 9, no. 3\u20134, pp. 445\u2013473, 1991.","journal-title":"New Generation Computing"},{"key":"4_CR25","unstructured":"H. P. Nii, \u201cBlackboard systems,\u201d in The Handbook of Artificial Intelligence (A. Barr, P. Cohen, and E. Feigenbaum, eds.), vol. 4, pp. 1\u201382, Addison-Wesley, 1989."}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61052-9_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:16:00Z","timestamp":1713633360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61052-9_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610526","9783540499367"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-61052-9_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}