{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:00Z","timestamp":1725664500804},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616047"},{"type":"electronic","value":"9783540706250"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61604-7_63","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:03:05Z","timestamp":1330293785000},"page":"315-330","source":"Crossref","is-referenced-by-count":36,"title":["Extended Markovian Process Algebra"],"prefix":"10.1007","author":[{"given":"Marco","family":"Bernardo","sequence":"first","affiliation":[]},{"given":"Roberto","family":"Gorrieri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1145\/190.191","volume":"2","author":"M. Ajmone Marsan","year":"1984","unstructured":"M. Ajmone Marsan, G. Balbo, G. Conte, \u201cA Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems\u201d, in ACM Trans. on Computer Systems 2:143\u2013172, 1984","journal-title":"ACM Trans. on Computer Systems"},{"key":"20_CR2","doi-asserted-by":"crossref","first-page":"127","DOI":"10.3233\/FI-1986-9202","volume":"IX","author":"J. Baeten","year":"1986","unstructured":"J. Baeten, J. A. Bergstra, J. W. Klop, \u201cSyntax and Defining Equations for an Interrupt Mechanism in Process Algebra\u201d, in Fundamenta Informatica IX:127\u2013168, 1986","journal-title":"Fundamenta Informatica"},{"key":"20_CR3","unstructured":"M. Bernardo, L. Donatiello, R. Gorrieri, \u201cIntegrating Performance and Functional Analysis of Concurrent Systems with EMPA\u201d, Technical Report UBLCS-95-14, University of Bologna (Italy), September 1995 (revised March 1996), available via anonymous from ftp.cs.unibo.it:\/pub\/TR\/UBLCS"},{"key":"20_CR4","unstructured":"P. Bftpuchholz, \u201cMarkovian Process Algebra: Composition and Equivalence\u201d, in Proc. of PAPM '94, Erlangen (Germany), pages 11\u201330, July 1994"},{"key":"20_CR5","first-page":"193","volume-title":"Proc. of LICS '88","author":"R. Cleaveland","year":"1988","unstructured":"R. Cleaveland, M. Hennessy, \u201cPriorities in Process Algebras\u201d, in Proc. of LICS '88, Edinburgh (UK), IEEE-CS Press, pages 193\u2013202, July 1988"},{"issue":"6","key":"20_CR6","doi-asserted-by":"crossref","first-page":"678","DOI":"10.1109\/TSE.1986.6312965","volume":"12","author":"D. Ferrari","year":"1986","unstructured":"D. Ferrari, \u201cConsiderations on the Insularity of Performance Evaluation\u201d, in IEEE Trans. on Software Engineering 12(6):678\u2013683, June 1986","journal-title":"IEEE Trans. on Software Engineering"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek, S. A. Smolka, B. Steffen, C. M. N. Tofts, \u201cReactive, Generative and Stratified Models of Probabilistic Processes\u201d, in Proc. of LICS '90, Philadelphia (PA), IEEE-CS Press, pages 130\u2013141, 1990","DOI":"10.1109\/LICS.1990.113740"},{"key":"20_CR8","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 PERFORMANCE '93, Rome (Italy), LNCS 729:121\u2013146, September 1993","journal-title":"LNCS"},{"key":"20_CR9","unstructured":"H. Hermanns, M. Rettelbach, \u201cSyntax, Semantics, Equivalences, and Axioms for MTIPP\u201d, in Proc. of PAPM '94, Erlangen (Germany), pages 71\u201387, July 1994"},{"key":"20_CR10","volume-title":"Ph.D. Thesis","author":"J. Hillston","year":"1994","unstructured":"J. Hillston, \u201cA Compositional Approach to Performance Modelling\u201d, Ph.D. Thesis, University of Edinburgh (UK), March 1994"},{"key":"20_CR11","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":"20_CR12","unstructured":"J. G. Kemeny, J. L. Snell, \u201cFinite Markov Chains\u201d, Springer-Verlag, 1977"},{"key":"20_CR13","unstructured":"L. Kleinrock, \u201cQueueing Systems\u201d, Wiley, 1975"},{"issue":"1","key":"20_CR14","doi-asserted-by":"crossref","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):1\u201328, September 1991","journal-title":"Information and Computation"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"D. Lehmann, M. Rabin, \u201cOn the Advantage of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem\u201d, in Proc. of POPL '81, pages 133\u2013138, 1981","DOI":"10.1145\/567532.567547"},{"key":"20_CR16","unstructured":"R. Milner, \u201cCommunication and Concurrency\u201d, Prentice Hall, 1989"},{"key":"20_CR17","unstructured":"M. F. Neuts, \u201cMatrix-Geometric Solutions in Stochastic Models \u2014 An Algorithmic Approach\u201d, John Hopkins University Press, 1981"},{"key":"20_CR18","unstructured":"R. Segala, \u201cModeling and Verification of Randomized Distributed Real-Time Systems\u201d, Ph.D. Thesis, MIT, June 1995"},{"key":"20_CR19","first-page":"467","volume":"458","author":"C. Tofts","year":"1990","unstructured":"C. Tofts, \u201cA Synchronous Calculus of Relative Frequency\u201d, in Proc. of CON-CUR '90, Amsterdam (The Netherlands), LNCS 458:467\u2013480, August 1990","journal-title":"LNCS"},{"key":"20_CR20","unstructured":"Y. Yemini, J. Kurose, \u201cTowards the Unification of the Functional and Performance Analysis of Protocols, or Is the Alternating-Bit Protocol Really Correct?\u201d, in Protocol Specification, Testing and Verification II, 1982"}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T19:14:26Z","timestamp":1687288466000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}