{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:27Z","timestamp":1761611067331},"reference-count":84,"publisher":"Elsevier BV","issue":"9-10","license":[{"start":{"date-parts":[[1998,5,1]],"date-time":"1998-05-01T00:00:00Z","timestamp":893980800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks and ISDN Systems"],"published-print":{"date-parts":[[1998,5]]},"DOI":"10.1016\/s0169-7552(97)00134-7","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T19:04:40Z","timestamp":1027623880000},"page":"925-950","source":"Crossref","is-referenced-by-count":11,"title":["Partial order models for quantitative extensions of LOTOS"],"prefix":"10.1016","volume":"30","author":[{"given":"Ed","family":"Brinksma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rom","family":"Langerak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Latella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0169-7552(97)00134-7_BIB1","doi-asserted-by":"crossref","unstructured":"L. Aceto, D. Murphy, Timing and causality in process algebra, Acta Inf. 33 (1996) 317\u2013350.","DOI":"10.1007\/s002360050047"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB2","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, A. Bianco, L. Ciminiera, R. Sisto, A. Valenzano, A LOTOS extension for the performance analysis of distributed systems, IEEE\/ACM Trans. Networking 2 (2) (1994) 151\u2013164.","DOI":"10.1109\/90.298433"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB3","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten, J.A. Bergstra, Real time process algebra, Formal Aspects Comput. 3 (2) (1991) 142\u2013188.","DOI":"10.1007\/BF01898401"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB4","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten, J.A. Bergstra, S.A. Smolka, Axiomatizing probabilistic processes: ACP with generative probabilities, Inf. Comput. 121 (1995) 234\u2013255.","DOI":"10.1006\/inco.1995.1135"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB5","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten, W.P. Weijland, Process Algebra, Cambridge University Press, Cambridge, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB6","doi-asserted-by":"crossref","unstructured":"C. Baier, M.E. Majster-Cederbaum, The connection between an event structure semantics and an operational semantics for TCSP, Acta Inf. 31 (1994) 81\u2013104.","DOI":"10.1007\/BF01178923"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB7","unstructured":"C. Baier, M.E. Majster-Cederbaum, How to interpret consistency and establish consistency results for semantics of concurrent programming languages, Fund. Inf. 29 (1997) 225\u2013256."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB8","doi-asserted-by":"crossref","unstructured":"M. Bernardo, R. Gorrieri, Extended Markovian process algebra, in: U. Montanari, V. Sassone (Eds.), Concur'96: Concurrency Theory, LNCS 1119, Springer, Berlin, 1996, pp. 315\u2013330.","DOI":"10.1007\/3-540-61604-7_63"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB9","doi-asserted-by":"crossref","unstructured":"T. Bolognesi, F. Lucidi, S. Trigila, Converging towards a timed LOTOS standard, Comput. Standards Interf. 16 (1994) 87\u2013118.","DOI":"10.1016\/0920-5489(94)90002-7"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB10","doi-asserted-by":"crossref","unstructured":"G. Boudol, I. Castellani, Permutations of transitions: An event structure semantics for CCS and SCCS, in: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (Eds.), Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer, Berlin, 1989, pp. 411\u2013427.","DOI":"10.1007\/BFb0013028"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB11","doi-asserted-by":"crossref","unstructured":"G. Boudol, I. Castellani, Flow models of distributed computations: three equivalent semantics for CCS, Inf. Comput. 114 (1994) 247\u2013314.","DOI":"10.1006\/inco.1994.1088"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB12","doi-asserted-by":"crossref","unstructured":"H. Bowman, J. Derrick, Extending LOTOS with time; a true concurrency perspective, in: M. Bertran, T. Rus (Eds.), Transformation-Based Reactive Systems Development, LNCS 1231, Springer, Berlin, 1997, pp. 383\u2013400.","DOI":"10.1007\/3-540-63010-4_26"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB13","unstructured":"H. Bowman and J-P. Katoen, Towards a true concurrency semantics for TE-LOTOS, Technical Report IMMD 7, University of Erlangen-N\u00fcrnberg, 1997."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB14","doi-asserted-by":"crossref","unstructured":"E. Brinksma, J-P. Katoen, R. Langerak, D. Latella, Performance analysis and true concurrency semantics, in: T. Rus, C. Rattray (Eds.), Theories and Experiences for Real-Time System Development, World Scientific, Singapore, 1994, pp. 309\u2013337.","DOI":"10.1142\/9789812831583_0012"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB15","doi-asserted-by":"crossref","unstructured":"E. Brinksma, J-P. Katoen, R. Langerak, D. Latella, A stochastic causality-based process algebra, Comput. J. 38 (7) (1995) 552\u2013565.","DOI":"10.1093\/comjnl\/38.7.552"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB16","doi-asserted-by":"crossref","unstructured":"R.T. Casley, R.F. Crew, J. Meseguer, V.R. Pratt, Temporal structures, Math. Struct. Comput. Sci. 1 (2) (1991) 179\u2013213.","DOI":"10.1017\/S0960129500001286"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB17","doi-asserted-by":"crossref","unstructured":"I. Christoff, Testing equivalences and fully abstract models for probabilistic processes, in: J.C.M. Baeten and J.-W. Klop (Eds.), Concur'90: Theories of Concurrency \u2013 Unification and Extension, LNCS 458, Springer, Berlin, 1990, pp. 126\u2013140.","DOI":"10.1007\/BFb0039056"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB18","unstructured":"L. Christoff, Specification and verification models for probabilistic processes, Ph.D. Thesis, Uppsala University, 1993."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB19","unstructured":"J-P. Courtiat, R.J. Coelho da Costa, A true concurrency semantics for LOTOS, in: M. Diaz, R. Groz (Eds.), Formal Description Techniques V, North-Holland, Amsterdam, 1993, pp. 348\u2013362."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB20","doi-asserted-by":"crossref","unstructured":"P. Degano, R. De Nicola, U. Montanari, On the consistency of `truly concurrent' operational and denotational semantics (extended abstract), in: 3rd Annual Symp. on Logic in Comput. Sci., IEEE Computer Press, 1988, pp. 133\u2013141.","DOI":"10.1109\/LICS.1988.5112"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB21","doi-asserted-by":"crossref","unstructured":"R. De Nicola, M. Hennessy, Testing equivalences for processes, Th. Comp. Sci. 34 (1984) 83\u2013133.","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB22","doi-asserted-by":"crossref","unstructured":"M. Fang, H.S.M. Zedan, C.J. Ho-Stuart, A model for timed-probabilistic behaviors, J. Syst. Software 28 (1995) 239\u2013251.","DOI":"10.1016\/0164-1212(94)00059-V"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB23","doi-asserted-by":"crossref","unstructured":"C.J. Fidge, Process algebra traces augmented with causal relationships, in: K.R. Parker, G.A. Rose (Eds.), Formal Description Techniques IV, North-Holland, Amsterdam, 1992, pp. 527\u2013541.","DOI":"10.1016\/B978-0-444-89402-1.50047-3"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB24","unstructured":"C.J. Fidge, A constraint-oriented real-time process calculus, in: M. Diaz, R. Groz (Eds.), Formal Description Techniques V, North-Holland, Amsterdam, 1993, pp. 363\u2013378."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB25","unstructured":"C.J. Fidge, J.J. Z\u0306ic, A simple, expressive real-time CCS, in: Proc. 2nd Australasian Conf. on Parallel & Real-Time Systems, 1995, pp. 365\u2013372."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB26","doi-asserted-by":"crossref","unstructured":"S. Gerhart, D. Craigen, T. Ralston, Experience with formal methods in critical systems, IEEE Software (1994) 21\u201328.","DOI":"10.1109\/52.251198"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB27","unstructured":"A. Giacalone, C.-C. Jou, S.A. Smolka, Algebraic reasoning for probabilistic concurrent systems, in: M. Broy, C.B. Jones (Eds.), Proc. Working Conf. on Programming Concepts and Methods, North-Holland, Amsterdam, 1990, pp. 443\u2013458."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB28","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek, The linear time \u2013 branching time spectrum, in: J.C.M. Baeten and J.-W. Klop (Eds.), Concur'90: Theories of Concurrency \u2013 Unification and Extension, LNCS 458, Springer, Berlin, 1990, pp. 278\u2013297.","DOI":"10.1007\/BFb0039066"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB29","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek, The linear time \u2013 branching time spectrum II (The semantics of sequential systems with silent moves), in: E. Best (Ed.), Concur'93: Concurrency Theory, LNCS 715, Springer, Berlin, 1993, pp. 66\u201381.","DOI":"10.1007\/3-540-57208-2_6"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB30","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek, S.A. Smolka, B. Steffen, Reactive, generative, and stratified models of probabilistic processes, Inf. Comput. 121 (1995) 59\u201380.","DOI":"10.1006\/inco.1995.1123"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB31","doi-asserted-by":"crossref","unstructured":"N. G\u00f6tz, U. Herzog, M. Rettelbach, Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras, in: L. Donatiello, R. Nelson (Eds.), Performance Evaluation of Computer and Communication Systems, LNCS 729, Springer, Berlin, 1993, pp. 121\u2013146.","DOI":"10.1007\/BFb0013851"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB32","unstructured":"N. G\u00f6tz, U. Herzog, M. Rettelbach, TIPP \u2013 Introduction and application to protocol performance analysis, in: H. K\u00f6nig (Ed.), Formale Beschreibungstechniken f\u00fcr Verteilte Systeme, Saur publishers, 1993."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB33","doi-asserted-by":"crossref","unstructured":"E. Goubault, Durations for truly-concurrent transitions, in: H.R. Nielson (Ed.), Programming Languages and Systems \u2013 ESOP'96, LNCS 1058, Springer, Berlin, 1996, pp. 173\u2013188.","DOI":"10.1007\/3-540-61055-3_36"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB34","doi-asserted-by":"crossref","unstructured":"J. Gunawardena, A dynamic approach to timed behaviour, in: B. Jonsson, J. Parrow (Eds.), Concur' 94: Concurrency Theory, LNCS 836, Springer, Berlin, 1994, pp. 178\u2013193.","DOI":"10.1007\/978-3-540-48654-1_17"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB35","unstructured":"H. Hansson, Time and probability in formal design of distributed systems, Ph.D. Thesis, Uppsala University, 1991."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB36","doi-asserted-by":"crossref","unstructured":"H. Hansson, B. Jonsson, A calculus for communicating systems with time and probabilities, in: Proc. 11th IEEE Real-Time Systems Symp., IEEE Computer Press, 1990, pp. 278\u2013287.","DOI":"10.1109\/REAL.1990.128759"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB37","doi-asserted-by":"crossref","unstructured":"P.G. Harrison, B. Strulo, Stochastic process algebra for discrete event simulation, in: F. Baccelli, A. Jean-Marie, I. Mitrani (Eds.), Quantitative Methods in Parallel Systems, Springer, Berlin, 1995, pp. 18\u201337.","DOI":"10.1007\/978-3-642-79917-4_2"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB38","doi-asserted-by":"crossref","unstructured":"M. Hennessy, T. Regan, A temporal process algebra, Inf. Comput. 117 (1995) 221\u2013239.","DOI":"10.1006\/inco.1995.1041"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB39","unstructured":"H. Hermanns, M. Rettelbach, Syntax, semantics, equivalences, and axioms for MTIPP, in: U. Herzog, M. Rettelbach (Eds.), Proc. 2nd Int. Workshop on Process Algebra and Performance Modelling, Arbeitsbericht 27 (4), Universit\u00e4t Erlangen-N\u00fcrnberg, 1994, pp. 71\u201388."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB40","doi-asserted-by":"crossref","unstructured":"H. Hermanns, U. Herzog, V. Mertsiotakis, Stochastic process algebras: between LOTOS and Markov chains, Comput. Netw. ISDN Syst. 30 (1998) 901\u2013924; this issue.","DOI":"10.1016\/S0169-7552(97)00133-5"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB41","unstructured":"U. Herzog, A concept for graph-based stochastic process algebras, generally distributed activity times, and hierarchical modelling, in: M. Ribaudo (Ed.), Proc. 4th Int. Workshop on Process Algebra and Performance Modelling, C.L.U.T. Press, 1996, pp. 1\u201320."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB42","unstructured":"J. Hillston, A compositional approach to performance modelling, Ph.D. Thesis, University of Edinburgh, 1994."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB43","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, 1985."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB44","unstructured":"ISO IS 8807, LOTOS \u2013 A formal description technique based on the temporal ordering of observational behaviour, 1989."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB45","doi-asserted-by":"crossref","unstructured":"W. Janssen, M. Poel, Q. Wu, J. Zwiers, Layering of real-time distributed processes, in: H. Langmaack, W.-P. de Roever and J. Vytopil (Eds.), Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, Springer, Berlin, 1994, pp. 393\u2013417.","DOI":"10.1007\/3-540-58468-4_175"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB46","unstructured":"J-P. Katoen, Quantitative and qualitative extensions of event structures, Ph.D. Thesis, University of Twente, 1996."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB47","unstructured":"J-P. Katoen, E. Brinksma, D. Latella, R. Langerak, Stochastic simulation of event structures, in: M. Ribaudo (Ed.), Proc. 4th Int. Workshop on Process Algebra and Performance Modelling, C.L.U.T. Press, 1996, pp. 21\u201340."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB48","unstructured":"J-P. Katoen, R. Langerak, D. Latella, Modelling systems by probabilistic process algebra: an event structures approach, in: R.L. Tenney, P.D. Amer, M.\u00dc. Uyar (Eds.), Formal Description Techniques VI, North-Holland, Amsterdam, 1994, pp. 253\u2013268."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB49","doi-asserted-by":"crossref","unstructured":"J-P. Katoen, R. Langerak, E. Brinksma, D. Latella, T. Bolognesi, A consistent causality-based view on a timed process algebra including urgent interactions, J. Formal Methods Syst. Design 12 (2) (1998) 189\u2013216 (extended abstract in: A. Cornell, D. Ionescu (Eds.), Proc. 3rd Amast Workshop on Real-Time System Development, 1996, pp. 212\u2013227).","DOI":"10.1023\/A:1008649927166"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB50","doi-asserted-by":"crossref","unstructured":"J-P. Katoen, D. Latella, R. Langerak, E. Brinksma, On specifying real-time systems in a causality-based setting, in: B. Jonsson, J. Parrow (Eds.), Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 1135, Springer, Berlin, 1996, pp. 385\u2013405.","DOI":"10.1007\/3-540-61648-9_52"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB51","doi-asserted-by":"crossref","unstructured":"R. Langerak, Transformations and semantics for LOTOS, Ph.D. Thesis, University of Twente, 1992.","DOI":"10.1016\/B978-0-444-89402-1.50028-X"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB52","unstructured":"R. Langerak, Bundle event structures: a non-interleaving semantics for LOTOS, in: M. Diaz, R. Groz (Eds.), Formal Description Techniques V, North-Holland, Amsterdam, 1993, pp. 331\u2013346."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB53","doi-asserted-by":"crossref","unstructured":"R. Langerak, E. Brinksma and J-P. Katoen, Causal ambiguity and partial orders in event structures, in: A. Mazurkiewicz, J. Winkowski (Eds.), Concur'97: Concurrency Theory, LNCS 1243, Springer, Berlin, 1997, pp. 317\u2013332.","DOI":"10.1007\/3-540-63141-0_22"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB54","doi-asserted-by":"crossref","unstructured":"L. L\u00e9onard, G. Leduc, An introduction to ET-LOTOS for the description of time-sensitive systems, Comput. Netw. ISDN Syst. 29 (3) (1997) 271\u2013292.","DOI":"10.1016\/S0169-7552(96)00078-5"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB55","unstructured":"R. Loogen, U. Goltz, Modelling nondeterministic concurrent processes with event structures, Fund. Inf. 14 (1991) 39\u201374."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB56","unstructured":"G. Lowe, Representing nondeterminism and probabilistic behaviour in reactive processes, Technical Report PRG-TR-11-93, Oxford University, 1993."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB57","doi-asserted-by":"crossref","unstructured":"G. Lowe, Probabilistic and prioritized models of timed CSP, Th. Comp. Sci. 138 (1995) 315\u2013352.","DOI":"10.1016\/0304-3975(94)00171-E"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB58","doi-asserted-by":"crossref","unstructured":"A. Maggiolo-Schettini, J. Winkowski, Towards an algebra for timed behaviours, Th. Comp. Sci. 103 (1992) 335\u2013363.","DOI":"10.1016\/0304-3975(92)90018-B"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB59","doi-asserted-by":"crossref","unstructured":"F. Moller, C. Tofts, A temporal calculus of communicating systems, in: J.C.M. Baeten and J.-W. Klop (Eds.), Concur'90: Theories of Concurrency \u2013 Unification and Extension, LNCS 458, Springer, Berlin, 1990, pp. 401\u2013415.","DOI":"10.1007\/BFb0039073"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB60","doi-asserted-by":"crossref","unstructured":"C. Miguel, A. Fern\u00e1ndez, L. Vidaller, LOTOS extended with probabilistic behaviours, Formal Aspects Comput. 5 (1993) 253\u2013281.","DOI":"10.1007\/BF01211557"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB61","unstructured":"R. Milner, Communication and Concurrency, Prentice-Hall, Englewood Cliffs, 1989."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB62","unstructured":"D. Murphy, Time and duration in noninterleaving concurrency, Fund. Inf. 19 (1993) 403\u2013416."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB63","unstructured":"M.F. Neuts, Matrix-Geometric Solutions in Stochastic Models \u2013 An Algorithmic Approach, Johns Hopkins University Press, 1981."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB64","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, An overview and synthesis on timed process algebras, in: J.W. de Bakker, C. Huizing, W.-P. de Roever, G. Rozenberg (Eds.), Real-Time: Theory in Practice, LNCS 600, Springer, Berlin, 1992, pp. 526\u2013548.","DOI":"10.1007\/BFb0032006"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB65","doi-asserted-by":"crossref","unstructured":"M. Nielsen, G.D. Plotkin, G. Winskel, Petri nets, event structures and domains, Th. Comp. Sci. 13 (1) (1981) 85\u2013108.","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB66","unstructured":"M. N\u00fa\u00f1ez, D. de Frutos, Testing semantics for probabilistic LOTOS, in: G. von Bochmann, R. Dssouli, O. Rafiq (Eds.), Formal Description Techniques VIII, Chapman and Hall, New York, 1995, pp. 365\u2013380."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB67","doi-asserted-by":"crossref","unstructured":"G.M. Pinna, A. Poign\u00e9, On the nature of events: another perspective in concurrency, Th. Comp. Sci. 138 (2) (1995) 425\u2013454.","DOI":"10.1016\/0304-3975(94)00174-H"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB68","unstructured":"C. Priami, Stochastic \u03c0-calculus with general distributions, in: M. Ribaudo (Ed.), Proc. 4th Int. Workshop on Process Algebra and Performance Modelling, C.L.U.T. Press, 1996, pp. 41\u201357."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB69","doi-asserted-by":"crossref","unstructured":"S. Purushothaman, P.A. Subrahmanyam, Reasoning about probabilistic behaviour in concurrent systems, IEEE Trans. Softw. Eng. 13 (6) (1987) 740\u2013745.","DOI":"10.1109\/TSE.1987.233478"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB70","doi-asserted-by":"crossref","unstructured":"J. Quemada, D. de Frutos, A. Azcorra, TIC: A TImed Calculus, Formal Aspects Comput. 5 (1993) 224\u2013252.","DOI":"10.1007\/BF01211556"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB71","doi-asserted-by":"crossref","unstructured":"G.M. Reed, A.W. Roscoe, A timed model for Communicating Sequential Processes, Th. Comp. Sci. 58 (1988) 249\u2013261.","DOI":"10.1016\/0304-3975(88)90030-8"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB72","unstructured":"A. Rensink, Models and methods for action refinement, Ph.D. Thesis, University of Twente, 1993."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB73","unstructured":"N. Rico, G. von Bochmann, Performance description and analysis for distributed systems using a variant of LOTOS, in: B. Jonsson, J. Parrow, B. Pehrson (Eds.), Protocol Specification, Testing, and Verification IX, North-Holland, Amsterdam, 1991, pp. 199\u2013213."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB74","doi-asserted-by":"crossref","unstructured":"R.A. Sahner, K.S. Trivedi, Performance and reliability analysis using directed acyclic graphs, IEEE Trans. Softw. Eng. 13 (10) (1987) 1105\u20131114.","DOI":"10.1109\/TSE.1987.232852"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB75","doi-asserted-by":"crossref","unstructured":"S. Schneider, An operational semantics for timed CSP, Inf. Comput. 116 (1995) 193\u2013213.","DOI":"10.1006\/inco.1995.1014"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB76","doi-asserted-by":"crossref","unstructured":"K. Seidel, Probabilistic communicating processes, Th. Comp. Sci. 152 (1995) 219\u2013249.","DOI":"10.1016\/0304-3975(94)00286-0"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB77","unstructured":"G.S. Shedler, Regenerative Stochastic Simulation, Academic Press, New York, 1993."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB78","doi-asserted-by":"crossref","unstructured":"R. Sisto, L. Ciminiera, A. Valenzano, Probabilistic characterization of algebraic protocol specifications, in: Proc. 12th Int. Conf. on Distributed Computing Systems, IEEE Comput. Press, 1992, pp. 260\u2013268.","DOI":"10.1109\/ICDCS.1992.235032"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB79","doi-asserted-by":"crossref","unstructured":"C.M.N. Tofts, A synchronous calculus of relative frequency, in: J.C.M. Baeten and J.-W. Klop (Eds.), Concur'90: Theories of Concurrency \u2013 Unification and Extension, LNCS 458, Springer, Berlin, 1990, pp. 467\u2013480.","DOI":"10.1007\/BFb0039078"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB80","unstructured":"F.W. Vaandrager, A simple definition for parallel composition of prime event structures, Report CS-R8903, Centre for Mathematics and Computer Science, 1989."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB81","doi-asserted-by":"crossref","unstructured":"G. Winskel, An introduction to event structures, in: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (Eds.), Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer, Berlin, 1989, pp. 411\u2013427.","DOI":"10.1007\/BFb0013026"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB82","unstructured":"W.Yi, Real-time behaviour of asynchronous agents, in: J.C.M. Baeten and J.-W. Klop (Eds.), Concur'90: Theories of Concurrency \u2013 Unification and Extension, LNCS 458, Springer, Berlin, 1990, pp. 501\u2013520."},{"key":"10.1016\/S0169-7552(97)00134-7_BIB83","doi-asserted-by":"crossref","unstructured":"W. Yi, K.G. Larsen, Testing probabilistic and nondeterministic processes, in: R.J. Linn, M.\u00dc. Uyar (Eds.), Protocol Specification, Testing, and Verification XII, North-Holland, Amsterdam, 1992, pp. 47\u201361.","DOI":"10.1016\/B978-0-444-89874-6.50010-6"},{"key":"10.1016\/S0169-7552(97)00134-7_BIB84","doi-asserted-by":"crossref","unstructured":"J.J. Z\u0306ic, Time-constrained buffer specifications in CSP+T and timed CSP, ACM Trans. Prog. Lang. and Syst. 16 (6) (1994) 1661\u20131674.","DOI":"10.1145\/197320.197322"}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169755297001347?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169755297001347?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,15]],"date-time":"2020-01-15T01:05:37Z","timestamp":1579050337000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169755297001347"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,5]]},"references-count":84,"journal-issue":{"issue":"9-10","published-print":{"date-parts":[[1998,5]]}},"alternative-id":["S0169755297001347"],"URL":"https:\/\/doi.org\/10.1016\/s0169-7552(97)00134-7","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1998,5]]}}}