{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:50:46Z","timestamp":1762458646703,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540688549"},{"type":"electronic","value":"9783540688556"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68855-6_8","type":"book-chapter","created":{"date-parts":[[2008,5,31]],"date-time":"2008-05-31T09:18:13Z","timestamp":1212225493000},"page":"116-133","source":"Crossref","is-referenced-by-count":27,"title":["Distributed Semantics and Implementation for Systems with Interaction and Priority"],"prefix":"10.1007","author":[{"given":"Ananda","family":"Basu","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Bidinger","sequence":"additional","affiliation":[]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Basu, A., Bidinger, P., Bozga, M., Sifakis, J.: Distributed semantics and implementation for systems with interaction and priority. Technical report, Verimag, Centre \u00c9quation, 38610 Gi\u00e8res (March 2008)","DOI":"10.1007\/978-3-540-68855-6_8"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM, pp. 3\u201312 (2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors \u2013 structuring interaction in BIP. In: EmSoft, pp. 11\u201320 (2007)","DOI":"10.1145\/1289927.1289935"},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K.M. Chandy","year":"1985","unstructured":"Chandy, K.M., Lamport, L.: Distributed snapshots: Determining global states of distributed systems. ACM Trans. Comput. Syst.\u00a03(1), 63\u201375 (1985)","journal-title":"ACM Trans. Comput. Syst."},{"key":"8_CR5","unstructured":"Garland, S.J., Lynch, N.A.: The ioa language and toolset: Support for designing, analyzing, and building distributed systems. Technical Report MIT\/LCS\/TR-762, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA (August 1998)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/978-3-540-30101-1_15","volume-title":"Formal Methods for Components and Objects","author":"G. G\u00f6\u00dfler","year":"2004","unstructured":"G\u00f6\u00dfler, G., Sifakis, J.: Priority systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol.\u00a03188, pp. 314\u2013329. Springer, Heidelberg (2004)"},{"key":"8_CR7","unstructured":"ITU-T. Recommendation Z.100. Specification and Description Language (SDL). Technical Report Z-100, International Telecommunication Union \u2013 Standardization Sector, Gen\u00e8ve (November 1999)"},{"key":"8_CR8","volume-title":"Communication and concurrency","author":"R. Milner","year":"1995","unstructured":"Milner, R.: Communication and concurrency. Prentice Hall International (UK) Ltd., Hertfordshire (1995)"},{"key":"8_CR9","volume-title":"Designing efficient algorithms for parallel computers","author":"M.J. Quinn","year":"1986","unstructured":"Quinn, M.J.: Designing efficient algorithms for parallel computers. McGraw-Hill, Inc., New York (1986)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68855-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T14:25:17Z","timestamp":1738247117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68855-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540688549","9783540688556"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68855-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}