{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T22:33:20Z","timestamp":1648766000287},"reference-count":24,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2002,5,1]],"date-time":"2002-05-01T00:00:00Z","timestamp":1020211200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,11,20]],"date-time":"2014-11-20T00:00:00Z","timestamp":1416441600000},"content-version":"vor","delay-in-days":4586,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,5]]},"DOI":"10.1016\/s1571-0661(04)00227-0","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T05:14:39Z","timestamp":1075353279000},"page":"246-274","source":"Crossref","is-referenced-by-count":2,"title":["Non-determinism in Probabilistic Timed Systems with General Distributions"],"prefix":"10.1016","volume":"52","author":[{"given":"Mario","family":"Bravetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Aldini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB1","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1006\/inco.1994.1096","article-title":"\u201cAdding Action Refinement to a Finite Process Algebra\u201d","volume":"115","author":"Aceto","year":"1994","journal-title":"in Information and Computation"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB2","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1109\/90.298433","article-title":"\u201cA LOTOS Extension for the Performance Analysis of Distributed Systems\u201d","volume":"2","author":"Ajmone Marsan","year":"1994","journal-title":"in IEEE\/ACM Trans. on Networking"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB3","unstructured":"M. Bernardo, \u201cTheory and Application of Extended Markovian Process Algebra\u201d, Ph.D. Thesis, University of Bologna (Italy), 1999"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB4","unstructured":"M. Bravetti, A. Aldini, \u201cNon-determinism in Probabilistic Timed Systems with General Distributions\u201d, Technical Report UBLCS-2001-08, University of Bologna (Italy), July 2001"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB5","doi-asserted-by":"crossref","unstructured":"M. Bravetti, M. Bernardo, \u201cCompositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time\u201d, in Proc. of the 1st Int. Workshop on Models for Time-Critical Systems (MTCS 2000), ENTCS 39(3), State College (PA), 2000","DOI":"10.1016\/S1571-0661(05)01220-X"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB6","unstructured":"M. Bravetti, R. Gorrieri, \u201cThe Theory of Interactive Generalized Semi-Markov Processes\u201d, to appear in Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB7","unstructured":"M. Bravetti, R. Gorrieri, \u201cDeciding and Axiomatizing Weak ST Bisimulation for a Process Algebra with Recursion and Action Refinement\u201d, to appear in ACM Transactions on Computational Logic"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB8","doi-asserted-by":"crossref","unstructured":"M. Bravetti, M. Bernardo, R. Gorrieri, \u201cTowards Performance Evaluation with General Distributions in Process Algebras\u201d, in Proc. of the 9th Int. Conf. on Concurrency Theory (CONCUR '98), LNCS 1466:405\u2013422, 1998","DOI":"10.1007\/BFb0055638"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB9","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1093\/comjnl\/38.7.552","article-title":"\u201cA Stochastic Causality-Based Process Algebra\u201d","volume":"38","author":"Brinksma","year":"1995","journal-title":"in Computer Journal"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB10","unstructured":"P. Buchholz, \u201cMarkovian Process Algebra: Composition and Equivalence\u201d, in Proc. of the 2nd Int. Workshop on Process Algebra and Performance Modelling (PAPM '94), pp. 11\u201330, Erlangen (Germany), 1994"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB11","unstructured":"N. Busi, R.J. van Glabbeek, R. Gorrieri, \u201cAxiomatizing ST Bisimulation Equivalence\u201d, in Proc. of the IFIP Working Conf. on Programming Concepts, Methods and Calculi (PROCOMET '94), pp. 169\u2013188, 1994"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB12","series-title":"\u201cDiscrete Event Systems. Modeling and Performance Analysis\u201d","author":"Cassandras","year":"1993"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB13","doi-asserted-by":"crossref","unstructured":"D.R. Cox, \u201cThe Analysis of non-Markovian Stochastic Processes by the Inclusion of Supplementary Variables\u201d, in Proc. of the Cambridge Philosophical Society 51:433\u2013440, 1955","DOI":"10.1017\/S0305004100030437"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB14","unstructured":"P.R. D'Argenio, \u201cAlgebras and Automata for Timed and Stochastic Systems\u201d, Ph.D. Thesis, Univ. Twente, 1997"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB15","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek, F.W. Vaandrager, \u201cPetri Net Models for Algebraic Theories of Concurrency\u201d, in Proc. of the Conf. on Parallel Architectures and Languages Europe (PARLE '87), LNCS 259:224\u2013242, 1987","DOI":"10.1007\/3-540-17945-3_13"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB16","unstructured":"N. G\u00f6tz, U. Herzog, M. Rettelbach, \u201cTIPP - A Stochastic Process Algebra\u201d, in Proc. of the 1st Workshop on Process Algebras and Performance Modelling (PAPM '93), pp. 31\u201336, Edinburgh (UK), 1993"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB17","unstructured":"H. Hermanns, \u201cInteractive Markov Chains\u201d, Ph.D. Thesis, Univ. Erlangen-N\u00fcrnberg, 1998"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB18","series-title":"\u201cA Compositional Approach to Performance Modelling\u201d","author":"Hillston","year":"1996"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB19","series-title":"\u201cCommunicating Sequential Processes\u201d","author":"Hoare","year":"1985"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","article-title":"\u201cBisimulation through Probabilistic Testing\u201d","volume":"94","author":"Larsen","year":"1991","journal-title":"in Information and Computation"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB21","unstructured":"K. Matthes, \u201cZur Theorie der Bedienungsprozesse\u201d, in Trans. of the 3rd Prague Conf. on Information Theory, Stat. Dec. Fns. and Random Processes, pp. 513\u2013528, 1962"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB22","series-title":"\u201cCommunication and Concurrency\u201d","author":"Milner","year":"1989"},{"issue":"9","key":"10.1016\/S1571-0661(04)00227-0_NEWBIB23","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1109\/32.159837","article-title":"\u201cCompiling Real-Time Specifications into Extended Automata\u201d","volume":"18","author":"Nicollin","year":"1992","journal-title":"IEEE Trans. on Software Engineering"},{"key":"10.1016\/S1571-0661(04)00227-0_NEWBIB24","unstructured":"C. Priami, \u201cStochastic \u03c0-Calculus with General Distributions\u201d, in Proc. of the 4th Workshop on Process Algebras and Performance Modelling (PAPM '96), CLUT, pp. 41\u201357, Torino (Italy), 1996"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104002270?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104002270?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T04:54:11Z","timestamp":1550206451000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104002270"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,5]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,5]]}},"alternative-id":["S1571066104002270"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00227-0","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,5]]}}}