{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:45:27Z","timestamp":1725486327625},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654629"},{"type":"electronic","value":"9783540492535"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49253-4_22","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T02:56:45Z","timestamp":1181185005000},"page":"293-307","source":"Crossref","is-referenced-by-count":8,"title":["Algebraic Semantics of Coordination or What Is in a Signature"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nia","family":"Lopes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,1,15]]},"reference":[{"key":"22_CR1","unstructured":"J. Ad\u00e1mek, H. Herrlich and G. Strecker, Abstract and Concrete Categories, John Wiley & Sons 1990."},{"issue":"1","key":"22_CR2","first-page":"55","volume":"16","author":"J.P. Ban\u21a6re","year":"1993","unstructured":"J.P. Ban\u21a6re and D.Le M\u00e1tayer, \u201cProgramming by Multiset Transformation\u201d, Communications ACM 16(1), 1993, 55\u201377.","journal-title":"Communications ACM"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"K. Chandy and J. Misra, Parallel Program Design-A Foundation, Addison-Wesley 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"22_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-61052-9","volume-title":"Coordination Languages and Models","author":"P. Ciancarini","year":"1996","unstructured":"P. Ciancarini and C. Hankin, Coordination Languages and Models, LNCS 1061, Springer-Verlag 1996."},{"key":"22_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-55808-X_18","volume-title":"Mathematical Foundations of Computer Science","author":"J.F. Costa","year":"1992","unstructured":"J.F. Costa, A. Sernadas, C. Sernadas and H.-D. Ehrich, \u201cObject Interaction\u201d, Mathematical Foundations of Computer Science, LNCS 629, Springer-Verlag 1992, 200\u2013208."},{"key":"22_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/3-540-50325-0_3","volume-title":"Recent Trends in Data Type Specification","author":"J.L. Fiadeiro","year":"1988","unstructured":"J.L. Fiadeiro and A. Sernadas, \u201cStructuring Theories on Consequence\u201d, in D. Sannella and A. Tarlecki (eds), Recent Trends in Data Type Specification, LNCS332, Springer-Verlag 1988, 44\u201372."},{"key":"22_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/BFb0030622","volume-title":"Theory and Practice of Software Development","author":"J.L. Fiadeiro","year":"1997","unstructured":"J.L. Fiadeiro and A. Lopes, \u201cSemantics of Architectural Connectors\u201d, Theory and Practice of Software Development, M. Bidoit and M. Dauchet (eds), LNCS 1214, Springer-Verlag 1997, 505\u2013519."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"J.L. Fiadeiro, A. Lopes and T. Maibaum, \u201cSynthesising Interconnections\u201d, in R. Bird and L. Meertens (eds), AlgorithmicLanguagesandCalculi, Chapman Hall 1997, 240\u2013264.","DOI":"10.1007\/978-0-387-35264-0_10"},{"issue":"2\u20133","key":"22_CR9","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0167-6423(96)00025-1","volume":"28","author":"J.L. Fiadeiro","year":"1997","unstructured":"J.L. Fiadeiro and T. Maibaum, \u201cCategorical Semantics of Parallel Program Design\u201d, Science of Computer Programming 28(2\u20133), 1997, 111\u2013138.","journal-title":"Science of Computer Programming"},{"key":"22_CR10","unstructured":"N. Francez and I. Forman, Interacting Processes, Addison-Wesley 1996."},{"key":"22_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63383-9","volume-title":"Coordination Languages and Models","author":"D. Garlan","year":"1997","unstructured":"D. Garlan and D.Le Metayer, Coordination Languages and Models, LNCS 1282, Springer-Verlag 1997."},{"issue":"2","key":"22_CR12","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"D. Gelernter","year":"1992","unstructured":"D. Gelernter and N. Carriero, \u201cCoordination Languages and their Significance\u201d, Communications ACM 35(2), 1992, 97\u2013107.","journal-title":"Communications ACM"},{"key":"22_CR13","unstructured":"J. Goguen, \u201cCategorical Foundations for General Systems Theory\u201d, in F. Pichler and R. Trappl (eds) Advances in Cybernetics and Systems Research, Transcripta Books 1973, 121\u2013130."},{"issue":"1","key":"22_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and R. Burstall, \u201cInstitutions: Abstract Model Theory for Specification and Programming\u201d, Journal of the ACM 39(1), 1992, 95\u2013146.","journal-title":"Journal of the ACM"},{"issue":"1","key":"22_CR15","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J. Goguen","year":"1991","unstructured":"J. Goguen, \u201cA Categorical Manifesto\u201d, Mathematical Structures in Computer Science 1(1), 1991, 49\u201367.","journal-title":"Mathematical Structures in Computer Science"},{"key":"22_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-57208-2_7","volume-title":"CONCUR\u201993","author":"V. Sassone","year":"1993","unstructured":"V. Sassone, M. Nielsen and G. Winskel, \u201cA Classification of Models for Concurrency\u201d, in E. Best (ed) CONCUR\u201993, LNCS 715, Springer-Verlag, 82\u201396."},{"key":"22_CR17","unstructured":"M. Shaw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall, 1996."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49253-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:45:42Z","timestamp":1556480742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49253-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654629","9783540492535"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-49253-4_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}