{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:31Z","timestamp":1761611071337},"reference-count":28,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2002,6,1]],"date-time":"2002-06-01T00:00:00Z","timestamp":1022889600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4064,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2002,6]]},"DOI":"10.1016\/s0304-3975(01)00043-3","type":"journal-article","created":{"date-parts":[[2002,10,10]],"date-time":"2002-10-10T22:41:59Z","timestamp":1034289719000},"page":"5-32","source":"Crossref","is-referenced-by-count":57,"title":["The theory of interactive generalized semi-Markov processes"],"prefix":"10.1016","volume":"282","author":[{"given":"Mario","family":"Bravetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Gorrieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(01)00043-3_BIB1","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1109\/90.298433","article-title":"A LOTOS extension for the performance analysis of distributed systems","volume":"2","author":"Ajmone Marsan","year":"1994","journal-title":"IEEE\/ACM Trans. Networking"},{"key":"10.1016\/S0304-3975(01)00043-3_BIB2","doi-asserted-by":"crossref","first-page":"852","DOI":"10.1137\/S0097539793243600","article-title":"On axiomatising finite concurrent processes","volume":"23","author":"Aceto","year":"1994","journal-title":"SIAM J. Comput."},{"key":"10.1016\/S0304-3975(01)00043-3_BIB3","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1006\/inco.1993.1024","article-title":"Model-checking in dense real-time","volume":"104","author":"Alur","year":"1993","journal-title":"Inform. Comput."},{"key":"10.1016\/S0304-3975(01)00043-3_BIB4","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1006\/inco.1994.1096","article-title":"Adding action refinement to a finite process algebra","volume":"115","author":"Aceto","year":"1994","journal-title":"Inform. Comput."},{"key":"10.1016\/S0304-3975(01)00043-3_BIB5","doi-asserted-by":"crossref","unstructured":"M. Bravetti, M. Bernardo, R. Gorrieri, Towards Performance Evaluation with General Distributions in Process Algebras, in: Proc. 9th Internat. Conf. Concurrency Theory (CONCUR \u201998), Nice, France, Lecture Notes in Computer Science, Vol. 1466, 1998, pp. 405\u2013422.","DOI":"10.1007\/BFb0055638"},{"key":"10.1016\/S0304-3975(01)00043-3_BIB6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","article-title":"A tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time","volume":"202","author":"Bernardo","year":"1998","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00043-3_BIB7","doi-asserted-by":"crossref","unstructured":"M. Bravetti, R. Gorrieri, Deciding and axiomatizing ST bisimulation for a process algebra with recursion and action refinement, Tech. Report UBLCS-99-1, University of Bologna (Italy), February 1999. An extended abstract appeared in: Proc. 6th Internat. Workshop on Expressiveness in Concurrency (EXPRESS \u201999), ENTCS 27, Eindhoven, The Netherlands, August 1999.","DOI":"10.1016\/S1571-0661(05)80298-1"},{"key":"10.1016\/S0304-3975(01)00043-3_BIB8","doi-asserted-by":"crossref","unstructured":"M. Bravetti, R. Gorrieri, A complete axiomatization for observational congruence of prioritized finite-state behaviors, in: U. Montanari, J.D.P. Rolim, E. Welzl (Eds.), Proc. 27th Internat. Col. on Automata, Languages and Programming (ICALP 2000), LNCS 1853, Geneva (Switzerland), 2000, pp. 744\u2013755.","DOI":"10.1007\/3-540-45022-X_62"},{"key":"10.1016\/S0304-3975(01)00043-3_BIB9","unstructured":"N. Busi, R.J. van Glabbeek, R. Gorrieri, Axiomatising ST-bisimulation equivalence, in: Proc. IFIP Working Conf. on Programming Concepts, Methods and Calculi (PROCOMET \u201994), S. Miniato, Italy, 1994, pp. 169\u2013188."},{"key":"10.1016\/S0304-3975(01)00043-3_BIB10","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1093\/comjnl\/38.7.552","article-title":"A stochastic causality-based process algebra","volume":"38","author":"Brinksma","year":"1995","journal-title":"Comput. J."},{"key":"10.1016\/S0304-3975(01)00043-3_BIB11","doi-asserted-by":"crossref","unstructured":"P.R. D'Argenio, J.P. Katoen, E. Brinksma, An algebraic approach to the specification of stochastic systems (extended abstract), Proc. IFIP Working Conf. on Programming Concepts, Methods and Calculi (PROCOMET \u201998), New York, USA, 1998.","DOI":"10.1007\/978-0-387-35358-6_12"},{"key":"10.1016\/S0304-3975(01)00043-3_BIB12","unstructured":"N. G\u00f6tz, U. Herzog, M. Rettelbach, TIPP\u2014a stochastic process algebra, Proc. 1st Workshop on Process Algebras and Performance Modelling (PAPM \u201993), Edinburgh, UK, 1993, pp. 31\u201336."},{"key":"10.1016\/S0304-3975(01)00043-3_BIB13","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek, F.W. Vaandrager, Petri net models for algebraic theories of concurrency, Proc. Conf. on Parallel Architectures and Languages Europe (PARLE \u201987), Lecture Notes in Computer Science, Vol. 259, Eindhoven, The Netherlands, 1987, pp. 224\u2013242.","DOI":"10.1007\/3-540-17945-3_13"},{"issue":"1","key":"10.1016\/S0304-3975(01)00043-3_BIB14","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/5.21067","article-title":"A GSMP formalism for discrete event simulation","volume":"77","author":"Glynn","year":"1989","journal-title":"Proc. IEEE"},{"issue":"2","key":"10.1016\/S0304-3975(01)00043-3_BIB15","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0304-3975(93)90111-6","article-title":"Transition system specifications with negative premises","volume":"118","author":"Groote","year":"1993","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00043-3_BIB16","doi-asserted-by":"crossref","unstructured":"P.G. Harrison, B. Strulo, Stochastic process algebra for discrete event simulation, in: Quantitative Methods in Parallel Systems, Springer, New York, 1995, pp. 18\u201337.","DOI":"10.1007\/978-3-642-79917-4_2"},{"key":"10.1016\/S0304-3975(01)00043-3_BIB17","unstructured":"H. Hermanns, Interactive Markov chains, Ph.D. Thesis, Universit\u00e4t Erlangen-N\u00fcrnberg, Germany, 1998."},{"key":"10.1016\/S0304-3975(01)00043-3_BIB18","unstructured":"H. Hermanns, An operator for symmetry representation and exploitation in stochastic process algebras, Proc. 5th Workshop on Process Algebras and Performance Modeling, Twente, The Netherlands, 1997, pp. 55\u201370."},{"issue":"7","key":"10.1016\/S0304-3975(01)00043-3_BIB19","doi-asserted-by":"crossref","DOI":"10.1093\/comjnl\/38.7.530","article-title":"Formal characterisation of immediate actions in SPA with nondeterministic branching","volume":"38","author":"Hermanns","year":"1995","journal-title":"Comput. J."},{"key":"10.1016\/S0304-3975(01)00043-3_BIB20","series-title":"A Compositional Approach to Performance Modelling","author":"Hillston","year":"1996"},{"key":"10.1016\/S0304-3975(01)00043-3_BIB21","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/S0304-3975(01)00043-3_BIB22","unstructured":"K. Kanani, A unified framework for systematic quantitative and qualitative analysis of communicating systems, Ph.D. Thesis, Imperial College, UK, 1998."},{"key":"10.1016\/S0304-3975(01)00043-3_BIB23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","article-title":"Bisimulation through probabilistic testing","volume":"94","author":"Larsen","year":"1991","journal-title":"Inform. Comput."},{"key":"10.1016\/S0304-3975(01)00043-3_BIB24","unstructured":"K. Matthes, Zur Theorie der Bedienungsprozesse, in: Trans. of the 3rd Prague Conf. on Information Theory, Stat. Dec. Fns. and Random Processes, 1962, pp. 513\u2013528."},{"key":"10.1016\/S0304-3975(01)00043-3_BIB25","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/S0304-3975(01)00043-3_BIB26","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0890-5401(89)90070-9","article-title":"A complete axiomatization for observational congruence of finite-state behaviours","volume":"81","author":"Milner","year":"1989","journal-title":"Inform. Comput."},{"key":"10.1016\/S0304-3975(01)00043-3_BIB27","series-title":"An overview and synthesis on timed process algebras, in: Real-Time: Theory in Practice","volume":"Vol. 600","author":"Nicollin","year":"1991"},{"key":"10.1016\/S0304-3975(01)00043-3_BIB28","unstructured":"C. Priami, Stochastic \u03c0-calculus with general distributions, Proc. 4th Workshop on Process Algebras and Performance Modelling (PAPM \u201996), CLUT, Torino, Italy, 1996, pp. 41\u201357."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501000433?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501000433?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T07:54:31Z","timestamp":1580889271000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397501000433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,6]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,6]]}},"alternative-id":["S0304397501000433"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(01)00043-3","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2002,6]]}}}