{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:50:34Z","timestamp":1743123034502,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231691"},{"type":"electronic","value":"9783540302339"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30233-9_11","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T16:06:08Z","timestamp":1287936368000},"page":"143-155","source":"Crossref","is-referenced-by-count":7,"title":["A Bounded True Concurrency Process Algebra for Performance Evaluation"],"prefix":"10.1007","author":[{"given":"M. Carmen","family":"Ruiz","sequence":"first","affiliation":[]},{"given":"Diego","family":"Cazorla","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Cuartero","sequence":"additional","affiliation":[]},{"given":"J. Jos\u00e9","family":"Pardo","sequence":"additional","affiliation":[]},{"given":"Hermenegilda","family":"Maci\u00e0","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0890-5401(87)90013-7","volume":"73","author":"G. Costa","year":"1987","unstructured":"Costa, G., Stirling, C.: Weak and Strong Fairness in CCS. Information and Computation\u00a073, 207\u2013244 (1987)","journal-title":"Information and Computation"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1992-16102","volume":"XVI","author":"J. Rutten","year":"1992","unstructured":"Rutten, J., Zucker, J.: A Semantics Approach to Fairness. Fundamenta Informaticae\u00a0XVI, 1\u201338 (1992)","journal-title":"Fundamenta Informaticae"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G. Reed","year":"1988","unstructured":"Reed, G., Roscoe, A.: A Timed Model for Communicating Sequential Processes. Theoretical Computer Science\u00a058, 249\u2013261 (1988)","journal-title":"Theoretical Computer Science"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BFb0039073","volume-title":"CONCUR \u201990","author":"F. Moller","year":"1990","unstructured":"Moller, F., Tofts, C.: A Temporal Calculus of Communicating Systems. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 401\u2013415. Springer, Heidelberg (1990)"},{"key":"11_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H., Herzog, U., Katoen, J.P.: Process algebra for performance evaluation. Theoretical Computer Science\u00a0274, 43\u201386 (2002)","journal-title":"Theoretical Computer Science"},{"key":"11_CR7","unstructured":"Giacalone, A., Jou, C.C., Smolka, S.: Algebraic Reasoning for Probabilistic Concurrent Systems. In: Proc. of Working Conference on Programming Concepts and Methods, IFIP TC 2 (1990)"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/3-540-60218-6_18","volume-title":"CONCUR \u201995 Concurrency Theory","author":"M. N\u00fa\u00f1ez","year":"1995","unstructured":"N\u00fa\u00f1ez, M., de Frutos, D., Llana, L.: Acceptance Trees for Probabilistic Processes. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol.\u00a0962, pp. 249\u2013263. Springer, Heidelberg (1995)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Transformation-Based Reactive Systems Development","author":"F. Cuartero","year":"1997","unstructured":"Cuartero, F., de Frutos, D., Valero, V.: A sound and complete proof system for probabilistic processes. In: Rus, T., Bertr\u00e1n, M. (eds.) AMAST-ARTS 1997, ARTS 1997, and AMAST-WS 1997. LNCS, vol.\u00a01231, Springer, Heidelberg (1997)"},{"key":"11_CR10","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"11_CR11","unstructured":"Gruska, D.P.: Process Algebra for Limited Parallelism. In: Proc. of Concurrency, Specification and Programming (CS&P 1996), pp. 61\u201374 (1996)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/BFb0036184","volume-title":"Fundamentals of Computation Theory","author":"D.P. Gruska","year":"1997","unstructured":"Gruska, D.P.: Bounded Concurrency. In: Chlebus, B.S., Czaja, L. (eds.) FCT 1997. LNCS, vol.\u00a01279, pp. 198\u2013209. Springer, Heidelberg (1997)"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/S1571-0661(04)00228-2","volume":"52","author":"M. Buchholtz","year":"2002","unstructured":"Buchholtz, M., Andersen, J., L\u00f8vengreen, H.H.: Towards a Process Algebra for Shared Processors. Electronic Notes in Theoretical Computer Science\u00a052, 145 (2002)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Lee, I., Br\u00e9mond-Gr\u00e9goire, P., Gerber, R.: A process algebraic approach to the specification and analysis of resource-bound real-time systems (1994)","DOI":"10.1109\/5.259433"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0304-3975(96)00229-0","volume":"189","author":"P. Br\u00e9mond-Gr\u00e9goire","year":"1997","unstructured":"Br\u00e9mond-Gr\u00e9goire, P., Lee, I.: A Process Algebra of Communicating Shared Resources with Dense Time and Priorities. Theoretical Computer Science\u00a0189, 179\u2013219 (1997)","journal-title":"Theoretical Computer Science"},{"key":"11_CR16","first-page":"443","volume-title":"Proc. of FORTE 2001","author":"I. Lee","year":"2001","unstructured":"Lee, I., Choi, J.Y., Kwak, H.H., Philippou, A., Sokolsky, O.: A Family of Resource-Bound Real-Time Process Algebras. In: Proc. of FORTE 2001, pp. 443\u2013458. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"11_CR17","first-page":"169","volume-title":"Proc. of FORTE 2001","author":"M. N\u00fa\u00f1ez","year":"2001","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. In: Proc. of FORTE 2001, pp. 169\u2013185. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1016\/S1389-1286(01)00275-4","volume":"38","author":"S. Kalyanasundaram","year":"2002","unstructured":"Kalyanasundaram, S., Chong, E., Shroff, N.: Optimal resource allocation in multiclass networks with user-specified utility functions. Computer Networks\u00a038, 613\u2013630 (2002)","journal-title":"Computer Networks"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/MULMM.2004.1264966","volume-title":"Proc. of the 10th IEEE International Conference on Multi-Media Modelling (MMM 2004)","author":"F.L. Pelayo","year":"2004","unstructured":"Pelayo, F.L., Cuartero, F., Valero, V.: Applying Timed- Arc Petri Nets to Improve the Performance of the MPEG-2 Encoding Algorithm. In: Proc. of the 10th IEEE International Conference on Multi-Media Modelling (MMM 2004), pp. 49\u201356. IEEE CS, Los Alamitos (2004)"},{"key":"11_CR20","unstructured":"Olivares, T., Quiles, F., Cuenca, P., Orozco, L., Ahmad, I.: Study of Data Distribution Techniques for the Implementation of an MPEG-2 Video Encoder. In: Proc. of the 11th IASTED Int. Conference on Parallel and Distributed Computing Systems (PDCS 1999), pp. 537\u2013542 (1999)"}],"container-title":["Lecture Notes in Computer Science","Applying Formal Methods: Testing, Performance, and M\/E-Commerce"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30233-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T15:54:19Z","timestamp":1636732459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30233-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231691","9783540302339"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30233-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}