{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:04:43Z","timestamp":1743059083352,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540880295"},{"type":"electronic","value":"9783540880301"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88030-1_3","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T15:37:29Z","timestamp":1221925049000},"page":"3-18","source":"Crossref","is-referenced-by-count":1,"title":["Non-synchronous Communications in Process Algebraic Architectural Description Languages"],"prefix":"10.1007","author":[{"given":"Marco","family":"Bernardo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edoardo","family":"Bont\u00e0","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/j.tcs.2004.10.043","volume":"335","author":"A. Aldini","year":"2005","unstructured":"Aldini, A., Bernardo, M.: On the Usability of Process Algebra: An Architectural View. Theoretical Computer Science\u00a0335, 281\u2013329 (2005)","journal-title":"Theoretical Computer Science"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Trans. on Software Engineering and Methodology\u00a06, 213\u2013249 (1997)","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1145\/606612.606614","volume":"11","author":"M. Bernardo","year":"2002","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting Families of Software Systems with Process Algebras. ACM Trans. on Software Engineering and Methodology\u00a011, 386\u2013426 (2002)","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0167-6423(01)00002-8","volume":"41","author":"C. Canal","year":"2001","unstructured":"Canal, C., Pimentel, E., Troya, J.M.: Compatibility and Inheritance in Software Architectures. Science of Computer Programming\u00a041, 105\u2013138 (2001)","journal-title":"Science of Computer Programming"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/380749.380767","volume":"19","author":"A. Carzaniga","year":"2001","unstructured":"Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Design and Evaluation of a Wide-Area Event Notification Service. ACM Trans. on Computer Systems\u00a019, 332\u2013383 (2001)","journal-title":"ACM Trans. on Computer Systems"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative Communication in Linda. ACM Trans. on Programming Languages and Systems\u00a07, 80\u2013112 (1985)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1145\/352591.352593","volume":"9","author":"P. Inverardi","year":"2000","unstructured":"Inverardi, P., Wolf, A.L., Yankelevich, D.: Static Checking of System Behaviors Using Derived Component Assumptions. ACM Trans. on Software Engineering and Methodology\u00a09, 239\u2013272 (2000)","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"3_CR8","volume-title":"Concurrency: State Models & Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. Wiley, Chichester (1999)"},{"key":"3_CR9","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/986710.986728","volume":"29","author":"F. Oquendo","year":"2004","unstructured":"Oquendo, F.: \u03c0-ADL: An Architecture Description Language Based on the Higher-Order Typed \u03c0-Calculus for Specifying Dynamic and Mobile Software Architectures. ACM Software Engineering Notes\u00a029(3), 1\u201314 (2004)","journal-title":"ACM Software Engineering Notes"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88030-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T03:37:35Z","timestamp":1714621055000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-88030-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540880295","9783540880301"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88030-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}