{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:16:55Z","timestamp":1725484615815},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434108"},{"type":"electronic","value":"9783540460008"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46000-4_35","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T02:17:36Z","timestamp":1180491456000},"page":"389-404","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Semantics of Protocol Modules Composition and Interaction"],"prefix":"10.1007","author":[{"given":"Pawe\u0142 T.","family":"Wojciechowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Mena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Schiper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"35_CR1","unstructured":"Mark Hayden. The Ensemble system. Technical Report TR98-1662, Department of Computer Science, Cornell University, January 1998."},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Matti A. Hiltunen. Configuration management for highly-customizable software. IEE Proceedings: Software, 145(5):180\u2013188, October 1998.","DOI":"10.1049\/ip-sen:19982298"},{"issue":"1","key":"35_CR3","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/32.67579","volume":"17","author":"N. C. Hutchinson","year":"1991","unstructured":"Norman C. Hutchinson and Larry L. Peterson. The x-kernel: An architecture for implementingnet work protocols. IEEE Transactions on Software Engineering, 17(1):64\u201376, January 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"35_CR4","unstructured":"Hugo Miranda, Alexandre Pinto, and Lu\u00eds Rodrigues. Appia, a flexible protocol kernel supportingm ultiple coordinated channels. In ICDCS\u201901, 2001."},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Andrei Serjantov, Peter Sewell, and Keith Wansbrough. The UDP calculus: Rigorous semantics for real networking. In TACS\u201901 (Sendai), October 2001.","DOI":"10.1007\/3-540-45500-0_27"},{"key":"35_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-47959-7_1","volume-title":"Internet Programming Languages","author":"P. Sewell","year":"1999","unstructured":"Peter Sewell, Pawe Dl T. Wojciechowski, and Benjamin C. Pierce. Locationindependent communication for mobile agents: A two-level architecture. In Internet Programming Languages, LNCS 1686, pages 1\u201331, 1999."},{"key":"35_CR7","unstructured":"Purnendu Sinha and Neeraj Suri. On simplifyingmo dular specification and verification of distributed protocols. In HASE\u201901, October 2001."},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Pawe Dl T. Wojciechowski, Sergio Mena, and Andr\u00e9 Schiper. Semantics of protocol modules composition and interaction. Technical report, School of Computer and Communication Sciences, EPFL, February 2002.","DOI":"10.1007\/3-540-46000-4_35"},{"issue":"2","key":"35_CR9","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/4434.846193","volume":"8","author":"P. D. T. Wojciechowski","year":"2000","unstructured":"Pawe Dl T. Wojciechowski and Peter Sewell. Nomadic Pict: Language and infrastructure design for mobile agents. IEEE Concurrency, 8(2):42\u201352, April-June 2000.","journal-title":"IEEE Concurrency"},{"key":"35_CR10","unstructured":"Gary T. Wong, Matti A. Hiltunen, and Richard D. Schlichting. A configurable and extensible transport protocol. In INFOCOM\u201901, April 2001."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46000-4_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:24:59Z","timestamp":1558272299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46000-4_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434108","9783540460008"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-46000-4_35","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"14 March 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}