{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:05:16Z","timestamp":1725573916579},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540216711"},{"type":"electronic","value":"9783540409038"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-40903-8_21","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:37:38Z","timestamp":1294396658000},"page":"260-272","source":"Crossref","is-referenced-by-count":3,"title":["Causal Time Calculus"],"prefix":"10.1007","author":[{"given":"Franck","family":"Pommereau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2). Elsevier (1994)","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Petri Nets 1992","author":"E. Best","year":"1992","unstructured":"Best, E., Devillers, R., Hall, J.: The Petri Box Calculus: a new causal algebra with multilabel communication. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol.\u00a0609, Springer, Heidelberg (1992)"},{"key":"21_CR3","series-title":"Electronic Notes in Theoretical Computer Sciences","volume-title":"MTCS 2002","author":"C. Bui Thanh","year":"2002","unstructured":"Bui Thanh, C., Klaudel, H., Pommereau, F.: Petri nets with causal time for system verification. In: MTCS 2002. Electronic Notes in Theoretical Computer Sciences, vol.\u00a068.5, Elsevier, Amsterdam (2002)"},{"key":"21_CR4","unstructured":"Bui Thanh, C., Klaudel, H., Pommereau, F.: Box Calculus with Coloured Buffers. LACL Technical report (2002), Available at http:\/\/www.univ-paris12.fr\/lacl"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Corradini, F., D\u2019Ortenzio, D., Inverardi, P.: On the relationship among four timed process algebras. Fundamenta Informaticae 34. IOS Press (1999)","DOI":"10.3233\/FI-1999-38403"},{"key":"21_CR6","unstructured":"D\u2019Argenio, P.R.: Algebras and automata for real-time systems. PhD. Thesis, Department of Computer Science, University of Twente (1999)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Durchholz, R.: Causality, time, and deadlines. Data & Knowledge Engineering 6. North-Holland (1991)","DOI":"10.1016\/0169-023X(91)90024-R"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Esparza, J.: Model checking using net unfoldings. Science of Computer Programming 23. Elsevier (1994)","DOI":"10.1016\/0167-6423(94)00019-0"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"582","DOI":"10.1007\/3-540-45657-0_49","volume-title":"Computer Aided Verification","author":"V. Khomenko","year":"2002","unstructured":"Khomenko, V., Koutny, M., Vogler, W.: Canonical prefixes of Petri net unfoldings. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, p. 582. Springer, Heidelberg (2002)"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1007\/3-540-36577-X_34","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"V. Khomenko","year":"2003","unstructured":"Khomenko, V., Koutny, M.: Branching processes of high-level Petri nets. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 458\u2013472. Springer, Heidelberg (2003)"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/3-540-44988-4_18","volume-title":"Application and Theory of Petri Nets 2000","author":"M. Koutny","year":"2000","unstructured":"Koutny, M.: A compositional model of time Petri nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, p. 303. Springer, Heidelberg (2000)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. International Journalon Software Tools and Technology Transfer 1(1-2). Springer (1997)","DOI":"10.1007\/s100090050010"},{"key":"21_CR13","unstructured":"M\u00e4kel\u00e4, M.: MARIA: modular reachability analyser for algebraic system nets (1999), Online manual http:\/\/www.tcs.hut.fi\/maria"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/3-540-45740-2_18","volume-title":"Applications and Theory of Petri Nets 2001","author":"O. Marroqu\u00edn Alonzo","year":"2001","unstructured":"Marroqu\u00edn Alonzo, O., de Frutos Escrig, D.: Extending the Petri Box Calculus with time. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, p. 303. Springer, Heidelberg (2001)"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Merlin, P.M., Farber, D.J.: Recoverability of communication protocols\u2014implications of a theoretical study. IEEE Transaction on Communication 24. IEEE Society (1976)","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"21_CR16","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"21_CR17","unstructured":"Plotkin, G.D.: A Structural approach to Operational Semantics. Technical Report FN-19, Computer Science Department, University of Aarhus (1981)"},{"key":"21_CR18","unstructured":"Pommereau, F.: Causal Time Calculus. LACL Technical report (2002), Available at http:\/\/www.univ-paris12.fr\/lacl"},{"key":"21_CR19","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems using Petri nets. PhD. Thesis, project MAC, MAC-TR 120. MIT (1974)"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Yovine, S.: Kronos: A verification tool for real-time systems. International Journal of Software Tools for Technology Transfer 1(1\/2). Springer (1997)","DOI":"10.1007\/s100090050009"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40903-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T07:03:35Z","timestamp":1592204615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40903-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540216711","9783540409038"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40903-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}