{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:10:56Z","timestamp":1761610256790,"version":"build-2065373602"},"reference-count":15,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3923,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1016\/s1571-0661(04)80498-5","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"12-31","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":3,"title":["Rule Formats for Timed Processes"],"prefix":"10.1016","volume":"68","author":[{"given":"Marco","family":"Kick","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80498-5_NEWBIB1","doi-asserted-by":"crossref","unstructured":"P. Aczel and P. F. Mendler. A final coalgebra theorem. In D. H. Pitt, D. E. Rydeheard, P. Dybjer, A. M. Pitts, and A. Poign\u00e9, editors, Proceedings of the Conference on Category Theory and Computer Science, volume 389 of LNCS, pages 357\u2013365, Berlin, September 1989. Springer-Verlag.","DOI":"10.1007\/BFb0018361"},{"issue":"2","key":"10.1016\/S1571-0661(04)80498-5_NEWBIB2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80498-5_NEWBIB3","doi-asserted-by":"crossref","unstructured":"F. Bartels. GSOS for probabilistic transition systems (extended abstract). In Larry Moss, editor, Proc. Coalgebraic Methods in Computer Science (CMCS 2002), volume 65 of Electronic Notes in Theoretical Computer Science, 2002.","DOI":"10.1016\/S1571-0661(04)80358-X"},{"issue":"1","key":"10.1016\/S1571-0661(04)80498-5_NEWBIB4","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1145\/200836.200876","article-title":"Bisimulation can't be traced","volume":"42","author":"Bloom","year":"1995","journal-title":"Journal of the ACM"},{"issue":"1-2","key":"10.1016\/S1571-0661(04)80498-5_NEWBIB5","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/S0304-3975(01)00025-1","article-title":"Compositional SOS and beyond: a coalgebraic view of open systems","volume":"280","author":"Corradini","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80498-5_NEWBIB6","doi-asserted-by":"crossref","unstructured":"M. Fiore. Fibred models of processes: Discrete, continuous, and hybrid systems. In IFIP International Conference on Theoretical Computer Science, volume 1872 of Lecture Notes in Computer Science, pages 457\u2013473, 2000.","DOI":"10.1007\/3-540-44929-9_32"},{"year":"1999","series-title":"Coalgebraic Methods in Computer Science (CMCS'1999), volume 19 of Electronic Notes in Theoretical Computer Science","key":"10.1016\/S1571-0661(04)80498-5_NEWBIB7"},{"key":"10.1016\/S1571-0661(04)80498-5_NEWBIB8","unstructured":"M. Kick. Bialgebraic modelling of timed processes. In P. Widmayer, F. Triguero, R. Morales, M. Hennessy, S. Eidenbenz, and R. Conejo, editors, Proceedings ICALP'02, volume 2380 of Lecture Notes in Computer Science. Springer-Verlag, 2002. Available from http:\/\/www.dcs.ed.ac.uk\/home\/mk."},{"key":"10.1016\/S1571-0661(04)80498-5_NEWBIB9","series-title":"Third Workshop on Coalgebraic Methods in Computer Science (CMCS'2000), volume 33 of Electronic Notes in Theoretical Computer Science","first-page":"233","article-title":"Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads","author":"Lenisa","year":"2000"},{"key":"10.1016\/S1571-0661(04)80498-5_NEWBIB10","doi-asserted-by":"crossref","unstructured":"F. Moller and C. Tofts. A temporal calculus of communicating systems. In J.C.M. Baeten and J.W. Klop, editors, CONCUR '90 (Concurrency Theory), volume 458 of Lecture Notes in Computer Science, pages 401\u2013415, Amsterdam, The Netherlands, August 1990. Springer-Verlag.","DOI":"10.1007\/BFb0039073"},{"key":"10.1016\/S1571-0661(04)80498-5_NEWBIB11","doi-asserted-by":"crossref","unstructured":"X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In K.G. Larsen and A. Skou, editors, Computer Aided Verification (CAV '91), volume 575 of Lecture Notes in Computer Science, pages 376\u2013398, Aalborg, Denmark, July 1991. Springer-Verlag.","DOI":"10.1007\/3-540-55179-4_36"},{"key":"10.1016\/S1571-0661(04)80498-5_NEWBIB12","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, September 1981."},{"issue":"1\u20132","key":"10.1016\/S1571-0661(04)80498-5_NEWBIB13","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/S0304-3975(01)00024-X","article-title":"Combining a monad and a comonad","volume":"280","author":"Power","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80498-5_NEWBIB14","unstructured":"D. Turi. Functorial Operational Semantics and its Denotational Dual. PhD thesis, Free University, Amsterdam, June 1996. Available from http:\/\/www.dcs.ed.ac.uk\/home\/dt\/."},{"key":"10.1016\/S1571-0661(04)80498-5_NEWBIB15","doi-asserted-by":"crossref","unstructured":"D. Turi and G. Plotkin. Towards a mathematical operational semantics. In Twelfth Annual Symposium on Logic in Computer Science (LICS '97), pages 280\u2013291, Warsaw, Poland, 29 June-2 July 1997. IEEE Computer Society Press.","DOI":"10.1109\/LICS.1997.614955"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804985?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804985?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:06:02Z","timestamp":1761609962000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104804985"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["S1571066104804985"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80498-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,11]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Rule Formats for Timed Processes","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)80498-5","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}