{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:22:44Z","timestamp":1720624964855},"reference-count":19,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3650,"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":[[2003,8]]},"DOI":"10.1016\/s1571-0661(04)80818-1","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"185-202","source":"Crossref","is-referenced-by-count":5,"special_numbering":"C","title":["Analysis of the MPEG-2 Encoding Algorithm with ROSA1 1This work has been supported by the CICYT project \u201cPerformance Evaluation of Distributed Systems\u201d, TIC2000-0701-C02-02."],"prefix":"10.1016","volume":"80","author":[{"given":"Fernando L.","family":"Pelayo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Cuartero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valent\u00edn","family":"Valero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Cazorla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/S1571-0661(04)80818-1_NEWBIB1","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1109\/76.611179","article-title":"Performance of software-based MPEG-2 video encoder on parallel and distributed systems","volume":"7","author":"Akramullah","year":"1997","journal-title":"IEEE Transactions on Circuits and Systems for Video Technology"},{"key":"10.1016\/S1571-0661(04)80818-1_NEWBIB2","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":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80818-1_NEWBIB3","series-title":"Logik at Botik","article-title":"A remark on bisimulation between probabilistic processes","author":"Bloom","year":"1989"},{"issue":"1","key":"10.1016\/S1571-0661(04)80818-1_NEWBIB4","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/S0020-0190(01)00213-7","article-title":"A Process Algebra for Probabilistic and Nondeterministic Processes","volume":"80","author":"Cazorla","year":"2001","journal-title":"Information Processing Letters"},{"issue":"1\ue4f82","key":"10.1016\/S1571-0661(04)80818-1_NEWBIB5","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/S1567-8326(02)00040-1","article-title":"Algebraic Theory of Probabilistic and Nondeterministic Processes","volume":"55","author":"Cazorla","year":"2003","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"10.1016\/S1571-0661(04)80818-1_NEWBIB6","unstructured":"F. Cuartero, D. de Frutos, and V. Valero. PCSP: A denotational model for probabilistic processes. In Proceedings of Third AMAST Workshop on Real-Time Systems, 1996."},{"key":"10.1016\/S1571-0661(04)80818-1_NEWBIB7","unstructured":"F. Cuartero, D. de Frutos, and V. Valero. A sound and complete proof system for probabilistic processes. In Proceedings of Fourth AMAST Workshop on Real-Time Systems ARTS'97, LNCS 1231, 1997."},{"key":"10.1016\/S1571-0661(04)80818-1_NEWBIB8","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-0-387-35358-6_12","article-title":"An algebraic approach to the specification of stochastic systems","author":"D'Argenio","year":"1998","journal-title":"Programming Concepts and Methods"},{"key":"10.1016\/S1571-0661(04)80818-1_NEWBIB9","unstructured":"A. Giacalone, C.-C. Jou, and S.A. Smolka. Algebraic reasoning for probabilistic concurrent systems. In Proceedings of Working Conference on Programming Concepts and Methods, IFIP TC 2, Sea of Galilee, Israel, 1990."},{"key":"10.1016\/S1571-0661(04)80818-1_NEWBIB10","doi-asserted-by":"crossref","unstructured":"H. Hansson and B. Jonsson. A calculus for communicating systems with time and probabilities. In Proceedings Real-Time Systems Symposium, Orlando, Florida, 1990.","DOI":"10.1109\/REAL.1990.128759"},{"issue":"1-2","key":"10.1016\/S1571-0661(04)80818-1_NEWBIB11","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","article-title":"Process algebra for performance evaluation","volume":"274","author":"Hermanns","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80818-1_NEWBIB12","series-title":"A compositional approach to performance modelling","author":"Hillston","year":"1996"},{"key":"10.1016\/S1571-0661(04)80818-1_NEWBIB13","unstructured":"ISO\/IEC 13818\u20132 Draft International Standard Generic Coding of Moving Pictures and Associated Audio. Recommendation H.262."},{"key":"10.1016\/S1571-0661(04)80818-1_NEWBIB14","doi-asserted-by":"crossref","unstructured":"B. Jonsson and K.G. Larsen. Specification and refinement of probabilistic processes. In LICS'91, Amsterdam, 1991.","DOI":"10.1109\/LICS.1991.151651"},{"key":"10.1016\/S1571-0661(04)80818-1_NEWBIB15","first-page":"537","article-title":"Study of data distribution techniques for the implementation of an MPEG-2 video encoder","volume":"Vol. 1","author":"Olivares","year":"1999","journal-title":"PDCS' 99"},{"key":"10.1016\/S1571-0661(04)80818-1_NEWBIB16","series-title":"ICPP' 01","first-page":"391","article-title":"The need of multicast predictive nfs servers for high-speed networks used as parallel multimedia platforms","author":"Olivares","year":"2001"},{"key":"10.1016\/S1571-0661(04)80818-1_NEWBIB17","unstructured":"F. L. Pelayo, F. Cuartero, V. Valero, and D. Cazorla. PPNAL: Performance evaluation in an algebraic model for probabilistic an non-deterministic processes. In Proceedings of 15th Annual UK Performance Engineering Workshop (UKPEW'99), pages 1\u201312, Bristol, U.K., 1999."},{"key":"10.1016\/S1571-0661(04)80818-1_NEWBIB18","doi-asserted-by":"crossref","unstructured":"F. L. Pelayo, F. Cuartero, V. Valero, and D. Cazorla. An example of performance evaluation by using the stochastic process algebra: ROSA. In Proceedings of the 7th IEEE International Conference on Real-Time Computing Systems and Applications (RTCSA'2000). IEEE Computer Society Press, pages 271\u2013278, Cheju Island, South Korea, 2000.","DOI":"10.1109\/RTCSA.2000.896401"},{"key":"10.1016\/S1571-0661(04)80818-1_NEWBIB19","doi-asserted-by":"crossref","unstructured":"V. Valero, F. L. Pelayo, F. Cuartero, and D. Cazorla. Specification and analysis of the MPEG-2 video encoder with Timed-Arc Petri Nets. Electronic Notes on Theoretical Computer Science, 66(2):125\u2013136, http:\/\/www.elsevier.nl\/locate\/entcs\/volume66.html.","DOI":"10.1016\/S1571-0661(04)80407-9"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808181?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104808181?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T11:41:58Z","timestamp":1682768518000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104808181"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":19,"alternative-id":["S1571066104808181"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80818-1","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}