{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T16:02:24Z","timestamp":1794412944194,"version":"4.9.1"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540610557","type":"print"},{"value":"9783540499428","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61055-3_36","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:14:19Z","timestamp":1330272859000},"page":"173-187","source":"Crossref","is-referenced-by-count":6,"title":["Durations for truly-concurrent transitions"],"prefix":"10.1007","author":[{"given":"Eric","family":"Goubault","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"11_CR1","unstructured":"S. Abramsky and T. Maibaum. Handbook of Logic in Computer Science, volume 1. Oxford Press, 1993."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"L. Aceto and D. Murphy. On the ill-timed, but well-caused. In Proc. of CONCUR'93, number 715 in LNCS, pages 97\u2013111. Springer-Verlag.","DOI":"10.1007\/3-540-57208-2_8"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur and D. Dill. The theory of timed automata. In Proceedings of the REX Workshop, Real-Time: Theory in Practice, LNCS. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0031987"},{"key":"11_CR4","unstructured":"A. Asperti and G. Longo. Categories, types and structures. The MIT Press, second edition, 1991."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper, and A. Pnueli. A really abstract concurrent model and its temporal logic. In Proc. of the 13th POPL, pages 173\u2013183. ACM Press, 1986.","DOI":"10.1145\/512644.512660"},{"key":"11_CR6","unstructured":"M. A. Bednarczyk. Categories of asynchronous systems. PhD thesis, University of Sussex, 1988."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"R. Cleaveland and A. Zwarico. A theory of testing for real-time. In Proceedings of LICS. IEEE Press, 1991.","DOI":"10.1109\/LICS.1991.151635"},{"key":"11_CR8","first-page":"238","volume":"4","author":"P. Cousot","year":"1977","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points. Principles of Programming Languages 4, pages 238\u2013252, 1977.","journal-title":"Principles of Programming Languages"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"R. Cridlig and E. Goubault. Semantics and analyses of Linda-based languages. In Proc. of WSA '93, number 724 in LNCS. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57264-3_30"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"P. Gabriel and M. Zisman. Calculus fractions and homotopy theory. In Ergebnisse der Mathematik und ihrer Grenzgebiete, volume 35. Springer Verlag, 1967.","DOI":"10.1007\/978-3-642-85844-4"},{"key":"11_CR11","volume-title":"Proc. of CONCUR'93","author":"E. Goubault","year":"1993","unstructured":"E. Goubault. Domains of higher-dimensional automata. In Proc. of CONCUR'93, Hildesheim, August 1993. Springer-Verlag."},{"key":"11_CR12","volume-title":"Proc. of PEPM'95","author":"E. Goubault","year":"1995","unstructured":"E. Goubault. Schedulers as abstract interpretations of HDA. In Proc. of PEPM'95, La Jolla, June 1995. ACM Press."},{"key":"11_CR13","unstructured":"E. Goubault. The Geometry of Concurrency. PhD thesis, Ecole Normale Sup\u00e9rieure, to appear, 1995."},{"key":"11_CR14","volume-title":"Proc. of CON-CUR'92","author":"E. Goubault","year":"1992","unstructured":"E. Goubault and T. P. Jensen. Homology of higher-dimensional automata. In Proc. of CON-CUR'92, Stonybrook, New York, August 1992. Springer-Verlag."},{"key":"11_CR15","unstructured":"T.A. Henzinger. The Temporal Specification and Verification of Real-time Systems. PhD thesis, Stanford University, 1991."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, Z. Manna, and A. Pnueli. Timed transition systems. In Proc. of the REX Workshop, Real-Time: Theory in Practice, LNCS. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0031995"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"P. Krishnan. A model for real-time systems. In Proc. of Mathematical Foundations of Computer Science, number 520 in LNCS. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54345-7_73"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"A.T. Lundell and S. Weingram. The Topology of CW-Complexes. Van Nostrand Reinhold Company, 1969.","DOI":"10.1007\/978-1-4684-6254-8"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"A. Maggiolo-Schettini and J. Winkowski. Towards an algebra for timed behaviours. Theoretical Computer Science, 103:335\u2013363.","DOI":"10.1016\/0304-3975(92)90018-B"},{"key":"11_CR20","unstructured":"J. P. May. Simplicial objects in algebraic topology. D. van Nostrand Company, inc, 1967."},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"F. Moller and C. Tofts. A temporal calculus of communicating systems. In Proceedings of CON-CUR'90, number 458 in LNCS. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0039073"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"X. Nicollin and J. Sifakis. An overview and synthesis of timed process algebras. In Proc. of CAV'92, number 575 in LNCS, pages 376\u2013398. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55179-4_36"},{"key":"11_CR23","volume-title":"Domains. Technical report","author":"G. Plotkin","year":"1984","unstructured":"G. Plotkin. Domains. Technical report, Computer Science Department, Edinbourgh, 1984."},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"V. Pratt. Modeling concurrency with geometry. In Proc. of the 18th ACM Symposium on Principles of Programming Languages. ACM Press, 1991.","DOI":"10.1145\/99583.99625"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"G. M. Reed and A. W. Roscoe. Metric spaces as models for real-time concurrency. In Proc. of Mathematical Foundations of Programming Languages and Semantics, number 298 in LNCS, pages 331\u2013343. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-19020-1_17"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"H. Rund. The Differential Geometry of Finsler Spaces. Springer-Verlag, 1959.","DOI":"10.1007\/978-3-642-51610-8"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"M.W. Shields. Concurrent machines. Computer Journal, 28, 1985.","DOI":"10.1093\/comjnl\/28.5.449"},{"key":"11_CR28","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0304-3975(89)90050-9","volume":"64","author":"A. Stark","year":"1989","unstructured":"A. Stark. Concurrent transition systems. Theoretical Computer Science, 64:221\u2013269, 1989.","journal-title":"Theoretical Computer Science"},{"key":"11_CR29","unstructured":"R. van Glabbeek. Bisimulation semantics for higher dimensional automata. Technical report, Stanford University, 1991."},{"key":"11_CR30","unstructured":"R. van Glabbeek and U. Goltz. Partial order semantics for refinement of actions. Bulletin of the EATCS, (34), 1989."},{"key":"11_CR31","unstructured":"G. Winskel and M. Nielsen. Models for concurrency, volume 3 of Handbook of Logic in Computer Science, pages 100\u2013200. Oxford University Press, 1994."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems \u2014 ESOP '96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61055-3_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:03:58Z","timestamp":1605629038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61055-3_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610557","9783540499428"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-61055-3_36","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/3-540-61055-3","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}