{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T22:36:00Z","timestamp":1784241360187,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540609223","type":"print"},{"value":"9783540497233","type":"electronic"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/3-540-60922-9_29","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:04:17Z","timestamp":1330272257000},"page":"345-359","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":31,"title":["Compositional specification of timed systems"],"prefix":"10.1007","author":[{"given":"Joseph","family":"Sifakis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sergio","family":"Yovine","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"29_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science. 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"T. Bolognesi and F. Lucidi. Timed process algebras with urgent interactions and a unique powerful binary operator. In Proc. REX Workshop \u201cReal-Time: Theory in Practice\u201d. Lecture Notes in Computer Science 600, Springer-Verlag, 1991.","DOI":"10.1007\/BFb0031990"},{"issue":"3","key":"29_CR3","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare. and A.W. Roscoe. A Theory of Communicating Sequential Processes. Journal of the ACM. 31(3):560\u2013599, 1984.","journal-title":"Journal of the ACM"},{"issue":"2","key":"29_CR4","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T.A. Henzinger","year":"1994","unstructured":"T.A. Henzinger. X. Nicollin. J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation. 111(2):193\u2013244. 1994.","journal-title":"Information and Computation"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"O. Maler and A. Pnueli. Timing analysis of asynchronous circuits using timed automata. In CHARME'95. pages 189\u2013205. Lecture Notes in Computer Science 987. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60385-9_12"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"P. Merlin and D. J. Farber. Recoverability of communication protocols. IEEE Transactions on Communications. 24(9). September 1976.","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"29_CR7","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science. 25:267\u2013310, 1983.","journal-title":"Theoretical Computer Science"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Proc. 3rd Workshop on Computer-Aided Verification, pages 376\u2013398. Lecture Notes in Computer Science 575, Springer-Verlag.","DOI":"10.1007\/3-540-55179-4_36"},{"issue":"9","key":"29_CR9","first-page":"794","volume":"18","author":"X. Nicollin","year":"1992","unstructured":"X. Nicollin. J. Sifakis. and S. Yovine. Compiling real-time specifications into extended automata. IEEE TSE Special Issue on Real-Time Systems. 18(9):794\u2013804. September 1992.","journal-title":"IEEE TSE Special Issue on Real-Time Systems"},{"issue":"5\u20136","key":"29_CR10","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF02998492","volume":"49","author":"P. S\u00e9nac","year":"1994","unstructured":"P. S\u00e9nac. M. Diaz. and P. de Saqui-Sannes. Toward a formal specification of multimedia scenarios. Annals of telecommunications. 49(5\u20136):297\u2013314. 1994.","journal-title":"Annals of telecommunications"},{"key":"29_CR11","unstructured":"J. Sifakis. Use of petri nets for performance evaluation. In Measuring, modeling and evaluating computer systems, pages 75\u201393. North-Holland. 1977."}],"container-title":["Lecture Notes in Computer Science","STACS 96"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60922-9_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:09:43Z","timestamp":1640927383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60922-9_29"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609223","9783540497233"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60922-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"7 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}