{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:26Z","timestamp":1761611186034},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648963"},{"type":"electronic","value":"9783540684558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055638","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T03:31:00Z","timestamp":1153971060000},"page":"405-422","source":"Crossref","is-referenced-by-count":19,"title":["Towards performance evaluation with general distributions in process algebras"],"prefix":"10.1007","author":[{"given":"Mario","family":"Bravetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Bernardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Gorrieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"27_CR1","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1109\/90.298433","volume":"2","author":"M. A. Marsan","year":"1994","unstructured":"M. Ajmone Marsan, A. Bianco, L. Ciminiera, R. Sisto, A. Valenzano, \u201cA LOTOS Extension for the Performance Analysis of Distributed Systems\u201d, in IEEE\/ACM Trans. on Networking 2:151\u2013164, 1994","journal-title":"IEEE\/ACM Trans. on Networking"},{"key":"27_CR2","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1006\/inco.1994.1096","volume":"115","author":"L. Aceto","year":"1994","unstructured":"L. Aceto, M. Hennessy, \u201cAdding Action Refinement to a Finite Process Algebra\u201d, in Information and Computation 115:179\u2013247, 1994","journal-title":"Information and Computation"},{"key":"27_CR3","first-page":"358","volume":"1256","author":"M. Bernardo","year":"1997","unstructured":"M. Bernardo, \u201cAn Algebra-Based Method to Associate Rewards with EMPA Terms\u201d, in Proc. of the 24th Int. Coll. on Automata, Languages and Programming (ICALP '97), LNCS 1256:358\u2013368, Bologna (Italy), 1997","journal-title":"LNCS"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"M. Bernardo, L. Donatiello, R. Gorrieri, \u201cA Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems\u201d, to appear in Information and Computation, 1998","DOI":"10.1006\/inco.1998.2706"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"M. Bernardo, R. Gorrieri, \u201cA Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time\u201d, to appear in Theoretical Computer Science, 1998","DOI":"10.1016\/S0304-3975(97)00127-8"},{"key":"27_CR6","first-page":"411","volume":"354","author":"G. Boudol","year":"1988","unstructured":"G. Boudol, I. Castellani, \u201cPermutation of Transitions: An Event Structure Semantics for CCS and SCCS\u201d, in Proc. of the Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354:411\u2013427, Noordwijkerhout (The Netherlands), 1988","journal-title":"LNCS"},{"key":"27_CR7","volume-title":"Technical Report UBLCS-97-9","author":"M. Bravetti","year":"1997","unstructured":"M. Bravetti, M. Bernardo, R. Gorrieri, \u201cGeneralized Semi Markovian Process Algebra\u201d, Technical Report UBLCS-97-9, University of Bologna (Italy), October 1997"},{"key":"27_CR8","unstructured":"N. Busi, R.J. van Glabbeek, R. Gorrieri, \u201cAxiomatising ST-Bisimulation Equivalence\u201d, in Proc. of the IFIP Working Conf. on Programming Concepts, Methods and Calculi (PROCOMET '94), S. Miniato (Italy), 1994"},{"key":"27_CR9","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1093\/comjnl\/38.7.552","volume":"38","author":"E. Brinksma","year":"1995","unstructured":"E. Brinksma, J.-P. Katoen, R. Langerak, D. Latella, \u201cA Stochastic Causality-Based Process Algebra\u201d, in Computer Journal 38:553\u2013565, 1995","journal-title":"Computer Journal"},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100030437","volume":"51","author":"D. R. Cox","year":"1955","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","journal-title":"Proc. of the Cambridge Philosophical Society"},{"key":"27_CR11","unstructured":"P.R. D'Argenio, J.-P. Katoen, E. Brinksma, \u201cA Stochastic Automata Model and its Algebraic. Approach\u201d in Proc. of the 5th Workshop on Process Algebras and Performance Modelling (PAPM '97), pp. 1\u201316, Enschede (The Netherlands), 1997"},{"key":"27_CR12","first-page":"224","volume":"259","author":"R.J. Glabbeek van","year":"1987","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, Eindhoven (The Netherlands), 1987","journal-title":"LNCS"},{"key":"27_CR13","first-page":"121","volume":"729","author":"N. G\u00f6tz","year":"1993","unstructured":"N. G\u00f6tz, U. Herzog, M. Rettelbach, \u201cMultiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras\u201d, in Proc. of the 16th Int. Symp. on Computer Performance Modelling, Measurement and Evaluation (PERFORMANCE '93), LNCS 729:121\u2013146, Rome (Italy), 1993","journal-title":"LNCS"},{"key":"27_CR14","unstructured":"N. G\u00f6tz, U. Herzog, M. Rettelbach, \u201cTIPP \u2014 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":"27_CR15","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0166-5316(93)90002-C","volume":"17","author":"W. Henderson","year":"1993","unstructured":"W. Henderson, D. Lucic, \u201cAggregation and Disaggregation through Insensitivity in Stochastic Petri Nets\u201d, in Performance Evaluation 17:91\u2013114, 1993","journal-title":"Performance Evaluation"},{"key":"27_CR16","unstructured":"H. Hermanns, M. Rettelbach, \u201cSyntax, Semantics, Equivalences, and Axioms for MTIPP\u201d, in Proc. of the 2nd Workshop on Process Algebras and Performance Modelling (PAPM '94), pp. 71\u201387, Erlangen (Germany), 1994"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"J. Hillston, \u201cA Compositional Approach to Performance Modelling\u201d, Cambridge University Press, 1996","DOI":"10.1017\/CBO9780511569951"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, \u201cCommunicating Sequential Processes\u201d, Prentice Hall, 1985","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"27_CR19","unstructured":"L. Kleinrock, \u201cQueueing Systems\u201d, John Wiley & Sons, 1975"},{"key":"27_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K.G. Larsen","year":"1991","unstructured":"K.G. Larsen, A. Skou, \u201cBisimulation through Probabilistic Testing\u201d, in Information and Computation 94:1\u201328, 1991","journal-title":"Information and Computation"},{"key":"27_CR21","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":"27_CR22","first-page":"89","volume":"181","author":"M. Nielsen","year":"1984","unstructured":"M. Nielsen, P.S. Thiagarajan, \u201cDegrees of Nondeterminism and Concurrency\u201d, in Proc. of the 4th Conf. on Foundations of Software Technologies and Theoretical Computer Science, LNCS 181:89\u2013117, 1984","journal-title":"LNCS"},{"key":"27_CR23","first-page":"41","volume-title":"Stochastic \u03c0-Calculus with General Distributions","author":"C. Priami","year":"1996","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"},{"key":"27_CR24","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1007\/BF01211867","volume":"6","author":"C. Tofts","year":"1994","unstructured":"C. Tofts, \u201cProcesses with Probabilities, Priority and Time\u201d, in Formal Aspects of Computing 6:536\u2013564, 1994","journal-title":"Formal Aspects of Computing"}],"container-title":["Lecture Notes in Computer Science","CONCUR'98 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055638","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T02:54:47Z","timestamp":1683514487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055638"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648963","9783540684558"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0055638","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}