{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:35Z","timestamp":1761611075752,"version":"3.43.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[1998,3]]},"DOI":"10.1023\/a:1008649927166","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T10:12:40Z","timestamp":1040551960000},"page":"189-216","source":"Crossref","is-referenced-by-count":14,"title":["A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions"],"prefix":"10.1007","volume":"12","author":[{"given":"Joost-Pieter","family":"Katoen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rom","family":"Langerak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ed","family":"Brinksma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Latella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tommaso","family":"Bolognesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"161914_CR1","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0304-3975(87)90065-X","volume":"53","author":"S. Abramski","year":"1987","unstructured":"S. Abramski. Observation equivalence as a testing equivalence. Theoretical Computer Science, 53:225\u2013241, 1987.","journal-title":"Theoretical Computer Science"},{"key":"161914_CR2","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten and J.W. Klop, editors. Concur '90: Theories of Concurrency \u2014 Unification and Extension, volume 458 of Lecture Notes in Computer Science. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0039045"},{"key":"161914_CR3","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten and W.P. Weijland. Process Algebra, volume 18 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"161914_CR4","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BF01178923","volume":"31","author":"C. Baier","year":"1994","unstructured":"C. Baier and M.E. Majster-Cederbaum. The connection between an event structure semantics and an operational semantics for TCSP. Acta Informatica, 31:81\u2013104, 1994.","journal-title":"Acta Informatica"},{"key":"161914_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"161914_CR6","doi-asserted-by":"crossref","unstructured":"T. Bolognesi and F. Lucidi. Timed process algebras with urgent interactions and a unique powerful binary operator. In de Bakker et al., editors, Real-time: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer-Verlag, pages 124\u2013148, 1992.","DOI":"10.1007\/BFb0031990"},{"key":"161914_CR7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0920-5489(94)90002-7","volume":"16","author":"T. Bolognesi","year":"1994","unstructured":"T. Bolognesi, F. Lucidi, and S. Trigila. Converging towards a timed LOTOS standard. Computer Standards & Interfaces, 16:87\u2013118, 1994.","journal-title":"Computer Standards & Interfaces"},{"key":"161914_CR8","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1006\/inco.1994.1088","volume":"114","author":"G. Boudol","year":"1994","unstructured":"G. Boudol and I. Castellani. Flow models of distributed computations: three equivalent semantics for CCS. Information and Computation, 114:247\u2013314, 1994.","journal-title":"Information and Computation"},{"key":"161914_CR9","series-title":"Technical Report","volume-title":"A true concurrency approach to time extended LOTOS (revised version)","author":"H. Bowman","year":"1996","unstructured":"H. Bowman. A true concurrency approach to time extended LOTOS (revised version). Technical Report 17\u201396, University of Kent at Canterbury, 1996."},{"key":"161914_CR10","doi-asserted-by":"crossref","unstructured":"E. Brinksma, J-P. Katoen, R. Langerak, and D. Latella. Performance analysis and true concurrency semantics. In T. Rus and C. Rattray, editors, Theories and Experiences for Real-Time System Development. World Scientific,, pages 309\u2013337, 1994.","DOI":"10.1142\/9789812831583_0012"},{"key":"161914_CR11","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1093\/comjnl\/38.7.552","volume":"38","author":"E. Brinksma","year":"1995","unstructured":"E. Brinksma, J-P. Katoen, R. Langerak, and D. Latella. A stochastic causality-based process algebra. The Computer Journal, 38:552\u2013565, 1995.","journal-title":"The Computer Journal"},{"key":"161914_CR12","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1017\/S0960129500001286","volume":"1","author":"R.T. Casley","year":"1991","unstructured":"R.T. Casley, R.F. Crew, J. Meseguer, and V.R. Pratt. Temporal structures. Mathematical Structures in Computer Science, 1:179\u2013213, 1991.","journal-title":"Mathematical Structures in Computer Science"},{"key":"161914_CR13","doi-asserted-by":"crossref","unstructured":"P. Degano, R. De Nicola, and U. Montanari. On the consistency of 'truly concurrent' operational and denotational semantics (extended abstract). In Third Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, pages 133\u2013141, 1988.","DOI":"10.1109\/LICS.1988.5112"},{"key":"161914_CR14","unstructured":"C.J. Fidge. A constraint-oriented real-time process calculus. In Diaz and Groz, editors, Formal Description Techniques V, volume C-10 of IFIP Transactions. North-Holland, pages 363\u2013378, 1993."},{"key":"161914_CR15","doi-asserted-by":"crossref","unstructured":"E. Goubault. Durations for truly-concurrent transitions. In H.R. Nielson, editor, Programming Languages and Systems \u2014 ESOP'96, volume 1058 of Lecture Notes in Computer Science. Springer-Verlag, pages 173\u2013188, 1996.","DOI":"10.1007\/3-540-61055-3_36"},{"key":"161914_CR16","doi-asserted-by":"crossref","unstructured":"J. Gunawardena. A dynamic approach to timed behaviour. In B. Jonsson and J. Parrow, editors, Concur' 94: Concurrency Theory, volume 836 of Lecture Notes in Computer Science. Springer-Verlag, pages 178\u2013193, 1994.","DOI":"10.1007\/978-3-540-48654-1_17"},{"key":"161914_CR17","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"161914_CR18","doi-asserted-by":"crossref","unstructured":"W. Janssen, M. Poel, Q. Wu, and J. Zwiers. Layering of real-time distributed processes. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of Lecture Notes in Computer Science. Springer-Verlag, pages 393\u2013417, 1994.","DOI":"10.1007\/3-540-58468-4_175"},{"key":"161914_CR19","unstructured":"A.S.A. Jeffrey, S. Schneider, and F.W. Vaandrager. A comparison of additivity axioms in timed transition systems. Technical Report CS-R9366, Centre for Mathematics and Computer Science, 1993."},{"key":"161914_CR20","unstructured":"J-P. Katoen. Quantitative and Qualitative Extensions of Event Structures. PhD thesis, University of Twente, CTIT Ph. D-thesis series No. 96-09, 1996."},{"key":"161914_CR21","unstructured":"J-P. Katoen, R. Langerak, and D. Latella. Modelling systems by probabilistic process algebra: An event structures approach. In R.L. Tenney, P.D. Amer, and M.\u00dc. Uyar, editors. Formal Description Techniques VI, volume C-22 of IFIP Transactions. North-Holland, pages 253\u2013268, 1994."},{"key":"161914_CR22","doi-asserted-by":"crossref","unstructured":"J-P. Katoen, D. Latella, R. Langerak, and E. Brinksma. On specifying real-time systems in a causality-based setting. In B. Jonsson and J. Parrow, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1135 of Lecture Notes in Computer Science. Springer-Verlag, pages 385\u2013405, 1996.","DOI":"10.1007\/3-540-61648-9_52"},{"key":"161914_CR23","unstructured":"R. Langerak. Bundle event structures: a non-interleaving semantics for LOTOS. In Diaz and Groz, editors, Formal Description Techniques V, volume C-10 of IFIP Transactions. North-Holland, pages 331\u2013346, 1993."},{"key":"161914_CR24","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/FI-1991-14103","volume":"14","author":"R. Loogen","year":"1991","unstructured":"R. Loogen and U. Goltz. Modelling nondeterministic concurrent processes with event structures. Fundamenta Informaticae, 14:39\u201374, 1991.","journal-title":"Fundamenta Informaticae"},{"key":"161914_CR25","doi-asserted-by":"crossref","unstructured":"N.A. Lynch and F.W. Vaandrager. Action transducers and timed automata. In W.R. Cleaveland, editor, Concur '92, volume 630 of Lecture Notes in Computer Science. Springer-Verlag, pages 436\u2013455, 1992.","DOI":"10.1007\/BFb0084808"},{"key":"161914_CR26","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0304-3975(92)90018-B","volume":"103","author":"A. Maggiolo-Schettini","year":"1992","unstructured":"A. Maggiolo-Schettini and J. Winkowski. Towards an algebra for timed behaviours. Theoretical Computer Science, 103:335\u2013363, 1992.","journal-title":"Theoretical Computer Science"},{"key":"161914_CR27","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"161914_CR28","doi-asserted-by":"crossref","unstructured":"F. Moller and C. Tofts. A temporal calculus of communicating systems. In Baeten and Klop, editors, Concur '90: Theories of Concurrency \u2014 Unification and Extension, volume 458 of Lecture Notes in Computer Science. Springer-Verlag, pages 401\u2013415, 1990.","DOI":"10.1007\/BFb0039073"},{"key":"161914_CR29","doi-asserted-by":"crossref","first-page":"403","DOI":"10.3233\/FI-1993-193-410","volume":"19","author":"D.V.J. Murphy","year":"1993","unstructured":"D.V.J. Murphy. Time and duration in noninterleaving concurrency. Fundamenta Informaticae, 19:403\u2013416, 1993.","journal-title":"Fundamenta Informaticae"},{"key":"161914_CR30","doi-asserted-by":"crossref","unstructured":"X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In de Bakker et al., editors, Real-time: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer-Verlag, pages 526\u2013548, 1992.","DOI":"10.1007\/BFb0032006"},{"key":"161914_CR31","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G.D. Plotkin, and G. Winskel. Petri nets, event structures and domains, part 1. Theoretical Computer Science, 13:85\u2013108, 1981.","journal-title":"Theoretical Computer Science"},{"key":"161914_CR32","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/0304-3975(94)00174-H","volume":"138","author":"G.M. Pinna","year":"1995","unstructured":"G.M. Pinna and A. Poign\u00e9. On the nature of events: another perspective in concurrency. Theoretical Computer Science, 138:425\u2013454, 1995.","journal-title":"Theoretical Computer Science"},{"key":"161914_CR33","unstructured":"G.D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"161914_CR34","unstructured":"D.A. Schmidt. Denotational Semantics: a methodology for language development. Allyn and Bacon, 1986."},{"key":"161914_CR35","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1995.1014","volume":"116","author":"S. Schneider","year":"1995","unstructured":"S. Schneider. An operational semantics for timed CSP. Information and Computation, 116:193\u2013213, 1995.","journal-title":"Information and Computation"},{"key":"161914_CR36","unstructured":"C.A. Vissers. FDTs for open distributed systems, a retrospective and a prospective view. In L. Logrippo, R.L. Probert, and H. Ural, editors, Protocol Specification, Testing and Verification X. North-Holland, pages 341\u2013362, 1990."},{"key":"161914_CR37","doi-asserted-by":"crossref","unstructured":"Y. Wang. Real-time behaviour of asynchronous agents. In Baeten and Klop, editors, Concur '90: Theories of Concurrency \u2014 Unification and Extension, volume 458 of Lecture Notes in Computer Science. Springer-Verlag, pages 502\u2013520, 1990.","DOI":"10.1007\/BFb0039080"},{"key":"161914_CR38","doi-asserted-by":"crossref","unstructured":"G. Winskel. An introduction to event structures. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of Lecture Notes in Computer Science. Springer-Verlag, pages 364\u2013397, 1989.","DOI":"10.1007\/BFb0013026"},{"key":"161914_CR39","doi-asserted-by":"publisher","first-page":"1661","DOI":"10.1145\/197320.197322","volume":"16","author":"J.J. \u017dic","year":"1994","unstructured":"J.J. \u017dic. Time-constrained buffer specifications in CSP+T and timed CSP. ACM Transactions on Programming Languages and Systems, 16:1661\u20131674, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008649927166.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008649927166\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008649927166.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:09:10Z","timestamp":1754366950000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008649927166"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,3]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,3]]}},"alternative-id":["161914"],"URL":"https:\/\/doi.org\/10.1023\/a:1008649927166","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[1998,3]]}}}