{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:13:36Z","timestamp":1725747216455},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397172"},{"type":"electronic","value":"9783642397189"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39718-9_23","type":"book-chapter","created":{"date-parts":[[2013,8,30]],"date-time":"2013-08-30T03:01:54Z","timestamp":1377831714000},"page":"391-408","source":"Crossref","is-referenced-by-count":1,"title":["A Proof System in PADS"],"prefix":"10.1007","author":[{"given":"Xinghua","family":"Yao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Min","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yixiang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1023\/A:1008047130023","volume":"15","author":"H. Ben-Abdallah","year":"1998","unstructured":"Ben-Abdallah, H., Choi, J.-Y., Clarke, D., Kim, Y.S., Lee, I., Xie, H.-L.: A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real-Time Systems\u00a015, 189\u2013219 (1998)","journal-title":"Real-Time Systems"},{"key":"23_CR2","first-page":"279","volume-title":"Proceedings of ECRT 2003","author":"G. Bucci","year":"2003","unstructured":"Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.: Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. In: Proceedings of ECRT 2003, pp. 279\u2013285. IEEE Computer Society, Los Alamitos (2003)"},{"key":"23_CR3","unstructured":"Easwaran, A., Lee, I., Sokolsky, O.: Interface Algebra for Analysis of Hierarchical Real-Time Systems. Presented at Foundations of Interface Technologies, FIT 2008, Satellite Workshop of ETAPS 2008 (April 2008), \n                  \n                    http:\/\/repository.upenn.edu\/cis_papers\/373"},{"key":"23_CR4","first-page":"26","volume-title":"Proceeding of RTSS 2002","author":"X. Feng","year":"2002","unstructured":"Feng, X., Mok, A.: A Model of Hierarchical Real-Time Virtual Resources. In: Proceeding of RTSS 2002, pp. 26\u201335. IEEE Computer Society, Los Alamitos (2002)"},{"issue":"8","key":"23_CR5","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1016\/j.ic.2007.01.009","volume":"205","author":"E. Fersman","year":"2007","unstructured":"Fersman, E., Krc\u00e1l, P., Pettersson, P., Yi, W.: Task automata: Schedulability, Decidability and Undecidability. Information and Computation\u00a0205(8), 1149\u20131172 (2007)","journal-title":"Information and Computation"},{"key":"23_CR6","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":"23_CR7","first-page":"253","volume-title":"Proceedings of RTAS 2006","author":"T.A. Henzinger","year":"2006","unstructured":"Henzinger, T.A., Matic, S.: An Interface Algebra for Real-Time Components. In: Proceedings of RTAS 2006, pp. 253\u2013263. IEEE Computer Society, Los Alamitos (2006)"},{"issue":"1","key":"23_CR8","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1109\/5.259433","volume":"82","author":"I. Lee","year":"1994","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. Proceedings of the IEEE\u00a082(1), 158\u2013171 (1994)","journal-title":"Proceedings of the IEEE"},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.jlap.2007.02.005","volume":"72","author":"I. Lee","year":"2007","unstructured":"Lee, I., Philippou, A., Sokolsky, O.: Resources in Process Algebra. Journal of Logic and Algebraic Programming\u00a072, 98\u2013122 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-40903-8_11","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"M. Mousavi","year":"2004","unstructured":"Mousavi, M., Reniers, M., Basten, T., Chaudron, M.: PARS: A Process Algebra with Resources and Schedulers. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791, pp. 134\u2013150. Springer, Heidelberg (2004)"},{"key":"23_CR11","series-title":"IFIP","first-page":"169","volume-title":"Proceedings of FORTE 2001","author":"M. N\u00fa\u00f1ez","year":"2002","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds.) FORTE 2001. IFIP, vol.\u00a069, pp. 169\u2013184. Springer, Heidelberg (2002)"},{"issue":"1","key":"23_CR12","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2011.08.025","volume":"413","author":"A. Philippou","year":"2012","unstructured":"Philippou, A., Lee, I., Sokolsky, O.: PADS: An Approach to Modeling Resource Demand and Supply for the Formal Analysis of Hierarchical Scheduling. Theoretical Computer Science\u00a0413(1), 2\u201320 (2012)","journal-title":"Theoretical Computer Science"},{"key":"23_CR13","first-page":"57","volume-title":"Proceeding of RTSS 2004","author":"I. Shin","year":"2004","unstructured":"Shin, I., Lee, I.: Compositional Real-Time Scheduling Framework. In: Proceeding of RTSS 2004, pp. 57\u201367. IEEE Computer Society, Los Alamitos (2004)"},{"key":"23_CR14","first-page":"34","volume-title":"Proceedings of EMSOFT 2006","author":"L. Thiele","year":"2006","unstructured":"Thiele, L., Wandeler, E., Stoimenov, N.: Real-Time Interfaces for Composing Real-Time Systems. In: Proceedings of EMSOFT 2006, pp. 34\u201343. ACM, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2013"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39718-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T00:23:09Z","timestamp":1558052589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39718-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397172","9783642397189"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39718-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}