{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:57Z","timestamp":1761611157123,"version":"build-2065373602"},"reference-count":26,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4958,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2000]]},"DOI":"10.1016\/s1571-0661(05)80749-2","type":"journal-article","created":{"date-parts":[[2005,5,6]],"date-time":"2005-05-06T15:34:43Z","timestamp":1115393683000},"page":"197-230","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":10,"title":["Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time"],"prefix":"10.1016","volume":"39","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"}]}],"member":"78","reference":[{"year":"1995","series-title":"\u201cModelling with Generalized Stochastic Petri Nets\u201d","author":"Ajmone Marsan","key":"10.1016\/S1571-0661(05)80749-2_BIB1"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB2","first-page":"234","volume":"121","author":"Baeten","year":"1995","journal-title":"\u201cAxiomatizing Probabilistic Processes: ACP with Generative Probabilities\u201d in Information and Computation"},{"year":"1999","series-title":"\u201cTheory and Application of Extended Markovian Process Algebra\u201d","author":"Bernardo","key":"10.1016\/S1571-0661(05)80749-2_BIB3"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB4","doi-asserted-by":"crossref","unstructured":"M. Bernardo, P. Ciancarini, L. Donatiello, \u00c6MPA: A Process Algebraic Description Language for the Performance Analysis of Software Architectures\u201d, in Proc. of the 2nd Int. Workshop on Software and Performance (WOSP '00), ACM Press, pp. 1-11, Ottawa (Canada), 2000","DOI":"10.1145\/350391.350394"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB5","doi-asserted-by":"crossref","unstructured":"M. Bernardo, W.R. Cleaveland, \u201cA Theory of Testing for Markovian Processes\u201d, in Proc. of the 11th Int. Conf. on Concurrency Theory (CONCUR '00), LNCS 1877:305-319, State College (PA), 2000","DOI":"10.1007\/3-540-44618-4_23"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB6","unstructured":"M. Bravetti, A. Aldini, \u201cAn Asynchronous Calculus for Generative-Reactive Probabilistic Systems\u201d, Tech. Rep. UBLCS-2000-03, University of Bologna (Italy), 2000 (extended abstract in Proc. of the 8th Int. Workshop on Process Algebra and Performance Modelling (PAPM '00), Carleton Scientific, pp. 591-605, Geneva (Switzerland), 2000)"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB7","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-422, Nice (France), 1998","DOI":"10.1007\/BFb0055638"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB8","series-title":"Tech. Rep. UBLCS-2000-01","article-title":"\u201cCompositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time\u201d","author":"Bravetti","year":"2000"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB9","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-30, Erlangen (Germany), 1994"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB10","series-title":"to appear in \u201cHandbook of Process Algebra\u201d","article-title":"\u201cPriority in Process Algebras\u201d","author":"Cleaveland","year":"2000"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB11","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1006\/inco.1995.1123","article-title":"\u201cReactive, Generative and Stratified Models of Probabilistic Processes\u201d","volume":"121","author":"van Glabbeek","year":"1995","journal-title":"in Information and Computation"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB12","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-242, Eindhoven (The Netherlands), 1987","DOI":"10.1007\/3-540-17945-3_13"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB13","unstructured":"H. Hermanns, \u201cInteractive Markov Chains\u201d, Ph.D. Thesis, University of Erlangen-Niirnberg (Germany), 1998"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB14","unstructured":"H. Hermanns, M. Rettelbach, \u201cSyntax, Semantics, Equivalences, and Axioms for MTIPP\u201d, in Proc. of the 2nd Int. Workshop on Process Algebra and Performance Modelling (PAPM '94), pp. 71-87, Erlangen (Germany), 1994"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB15","doi-asserted-by":"crossref","first-page":"530","DOI":"10.1093\/comjnl\/38.7.530","article-title":"\u201cFormal Characterisation of Immediate Actions in SPA with Nondeterministic Branching\u201d","volume":"38","author":"Hermanns","year":"1995","journal-title":"Computer Journal"},{"year":"1996","series-title":"\u201cA Compositional Approach to Performance Modelling\u201d","author":"Hillston","key":"10.1016\/S1571-0661(05)80749-2_BIB16"},{"year":"1985","series-title":"\u201cCommunicating Sequential Processes\u201d","author":"Hoare","key":"10.1016\/S1571-0661(05)80749-2_BIB17"},{"year":"1975","series-title":"\u201cQueueing Systems\u201d","author":"Kleinrock","key":"10.1016\/S1571-0661(05)80749-2_BIB18"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB19","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":"Information and Computation"},{"year":"1989","series-title":"\u201cCommunication and Concurrency\u201d","author":"Milner","key":"10.1016\/S1571-0661(05)80749-2_BIB20"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB21","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1093\/comjnl\/38.7.590","article-title":"\u201cProbabilistic Branching in Markovian Process Algebras\u201d","volume":"38","author":"Rettelbach","year":"1995","journal-title":"in Computer Journal"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB22","unstructured":"R. Segala, \u201cModeling and Verification of Randomized Distributed Real-Time Systems\u201d, Ph.D. Thesis, MIT, Boston (MA), 1995"},{"year":"1996","series-title":"\u201cSoftware Architecture: Perspectives on an Emerging Discipline\u201d","author":"Shaw","key":"10.1016\/S1571-0661(05)80749-2_BIB23"},{"year":"1994","series-title":"\u201cIntroduction to the Numerical Solution of Markov Chains\u201d","author":"Stewart","key":"10.1016\/S1571-0661(05)80749-2_BIB24"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB25","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1007\/BF01211867","article-title":"\u201cProcesses with Probabilities, Priority and Time\u201d","volume":"6","author":"Tofts","year":"1994","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S1571-0661(05)80749-2_BIB26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00056-X","article-title":"\u201cComposition and Behaviors of Probabilistic I\/O Automata\u201d","volume":"176","author":"Wu","year":"1997","journal-title":"Theoretical Computer Science"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105807492?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105807492?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:08:56Z","timestamp":1761610136000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105807492"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000]]}},"alternative-id":["S1571066105807492"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80749-2","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80749-2","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2004 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}