{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:54:42Z","timestamp":1762458882639},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540216711"},{"type":"electronic","value":"9783540409038"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","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-40903-8_11","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T15:37:38Z","timestamp":1294414658000},"page":"134-150","source":"Crossref","is-referenced-by-count":8,"title":["PARS: A Process Algebra with Resources and Schedulers"],"prefix":"10.1007","author":[{"given":"MohammadReza","family":"Mousavi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Twan","family":"Basten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Chaudron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"11_CR1","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/s002360050047","volume":"33","author":"L. Aceto","year":"1996","unstructured":"Aceto, L., Murphy, D.: Timing and causality in process algebra. Acta Informatica\u00a033(4), 317\u2013350 (1996)","journal-title":"Acta Informatica"},{"key":"11_CR2","series-title":"EATCS Monographs","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04995-2","volume-title":"Process Algebra with Timing","author":"J.C.M. Baeten","year":"2002","unstructured":"Baeten, J.C.M., Middelburg, C.A.: Process Algebra with Timing. EATCS Monographs. Springer, Berlin (2002)"},{"issue":"1-2","key":"11_CR3","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(1-2), 179\u2013219 (1997)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"11_CR4","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S1571-0661(04)00228-2","volume":"52","author":"Mikael Buchholtz","year":"2002","unstructured":"Buchholtz, M., Andersen, J., Loevengreen, H.H.: Towards a process algebra for shared processors. In: Proceedings of MTCS 2001. Electronic Notes in Theoretical Computer Science, vol.\u00a052(3) (2002)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"11_CR5","volume-title":"Hard Real-Time Computing Systems","author":"G.C. Buttazzo","year":"1997","unstructured":"Buttazzo, G.C.: Hard Real-Time Computing Systems. Kluwer Academic Publishers, Boston (1997)"},{"issue":"4","key":"11_CR6","doi-asserted-by":"crossref","first-page":"377","DOI":"10.3233\/FI-1999-38403","volume":"38","author":"F. Corradini","year":"1999","unstructured":"Corradini, F., D\u2019Ortenzio, D., Inverardi, P.: On the relationships among four timed process algebras. Fundamenta Informaticae\u00a038(4), 377\u2013395 (1999)","journal-title":"Fundamenta Informaticae"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","first-page":"53","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"M. Daniels","year":"1991","unstructured":"Daniels, M.: Modelling real-time behavior with an interval time calculus. In: Vytopil, J. (ed.) FTRTFT 1992. LNCS, vol.\u00a0571, pp. 53\u201371. Springer, Heidelberg (1991)"},{"issue":"2","key":"11_CR8","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0304-3975(94)00169-J","volume":"138","author":"J. Davies","year":"1995","unstructured":"Davies, J., Schneider, S.: A brief history of Timed CSP. Theoretical Computer Science\u00a0138(2), 243\u2013271 (1995)","journal-title":"Theoretical Computer Science"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-46002-0_6","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Fersman","year":"2002","unstructured":"Fersman, E., Pettersson, P., Yi, W.: Timed automata with asynchronous processes: Schedulability and decidability. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 67\u201382. Springer, Heidelberg (2002)"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1109\/REAL.1993.393489","volume-title":"Proceedings of the Real-Time Systems Symposium","author":"A.N. Fredette","year":"1993","unstructured":"Fredette, A.N., Cleaveland, R.: RTSL: A language for real-time schedulability analysis. In: Proceedings of the Real-Time Systems Symposium, pp. 274\u2013283. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1016\/S0304-3975(02)00021-X","volume":"281","author":"P. Gastin","year":"2002","unstructured":"Gastin, P., Mislove, M.W.: A truly concurrent semantics for a process algebra using resource pomsets. Theoretical Computer Science\u00a0281, 369\u2013421 (2002)","journal-title":"Theoretical Computer Science"},{"key":"11_CR12","first-page":"443","volume-title":"Proceedings 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: Proceedings of FORTE 2001, pp. 443\u2013458. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"11_CR13","unstructured":"Lee, I., Philippou, A., Sokolsky, O.: A general resource framework for real-time systems. In: Proceedings of the Monterey Workshop, Venice, Italy (2002)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Mousavi, M., Reniers, M., Basten, T., Chaudron, M.: PARS: A process algebra with resource and schedulers. Technical report, Department of Computer Science, Eindhoven University of Technology (2003) (to appear)","DOI":"10.1007\/978-3-540-40903-8_11"},{"issue":"1","key":"11_CR15","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1994.1083","volume":"114","author":"X. Nicollin","year":"1994","unstructured":"Nicollin, X., Sifakis, J.: The algebra of timed processes ATP: theory and application. Information and Computation\u00a0114(1), 131\u2013178 (1994)","journal-title":"Information and Computation"},{"key":"11_CR16","first-page":"169","volume-title":"Proceedings 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: Proceedings of FORTE 2001, pp. 169\u2013185. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-49253-4_21","volume-title":"Algebraic Methodology and Software Technology","author":"R. Glabbeek van","year":"1998","unstructured":"van Glabbeek, R., Rittgen, P.: Scheduling algebra. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, pp. 278\u2013292. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40903-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T11:03:29Z","timestamp":1592219009000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40903-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540216711","9783540409038"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40903-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}