{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:45:06Z","timestamp":1762458306310,"version":"3.43.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1998,11,1]],"date-time":"1998-11-01T00:00:00Z","timestamp":909878400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,11,1]],"date-time":"1998-11-01T00:00:00Z","timestamp":909878400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Systems"],"published-print":{"date-parts":[[1998,11]]},"DOI":"10.1023\/a:1008047130023","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T07:45:23Z","timestamp":1040543123000},"page":"189-219","source":"Crossref","is-referenced-by-count":29,"title":["A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems"],"prefix":"10.1007","volume":"15","author":[{"given":"Hanene","family":"Ben-Abdallah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin-Young","family":"Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Duncan","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Young Si","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong-Liang","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"182116_CR1","series-title":"Tech. Report","volume-title":"Aprocess Algebra of Communicating Shared Resources with Dense Time and Priorities","author":"P. Br\u00e9mond-Gr\u00e9goire","year":"1994","unstructured":"Br\u00e9mond-Gr\u00e9goire, P. Aprocess Algebra of Communicating Shared Resources with Dense Time and Priorities. PhD thesis, Department of Computer and Information Science, The University of Pennsylvania, Philadelphia, PA 19104, 1994. Tech. Report MS-CIS\u201394\u201324."},{"key":"182116_CR2","doi-asserted-by":"crossref","unstructured":"Br\u00e9mond-Gr\u00e9goire, P., Choi, J.-Y., and Lee, I. A Complete Axiomatization of Finite-state ACSR Processes. Information and Computation, No 138, 1997.","DOI":"10.1006\/inco.1997.2657"},{"key":"182116_CR3","unstructured":"Burns, A. Preemptive priority-based scheduling: An appropriate engineering approach. In Sang H. Song, editor, Advances in Real-Time Systems, chapter 10, pages 225\u2013248. Prentice Hall, 1995."},{"issue":"1","key":"182116_CR4","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00365391","volume":"3","author":"A. Burns","year":"1991","unstructured":"Burns, A. and Wellings, A. Priority Inheritance and Message Passing Communication: A Formal Treatment. Real-Time Systems: The Interanational Journal of Time Critical Computing Systems, 3(1):19\u201344, 1991.","journal-title":"Real-Time Systems: The Interanational Journal of Time Critical Computing Systems"},{"issue":"4","key":"182116_CR5","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF01995676","volume":"2","author":"M. Chen","year":"1990","unstructured":"Chen, M. and Lin, K. Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time Systems. Real-Time Systems: The Interanational Journal of Time Critical Computing Systems, 2(4):325\u2013346, 1990.","journal-title":"Real-Time Systems: The Interanational Journal of Time Critical Computing Systems"},{"issue":"2","key":"182116_CR6","first-page":"189","volume":"3","author":"D. Clarke","year":"1995","unstructured":"Clarke, D., Lee, I.,, and Xie, H. VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems. Journal of Computer and Software Engineering, 3(2):189\u2013215, April 1995.","journal-title":"Journal of Computer and Software Engineering"},{"key":"182116_CR7","unstructured":"Cleaveland, R., Parrow, J., and Steffen, B. A Semantics-Based Verification Tool for Finite-State Systems. In Proc. of Protocol Specification, Testing, and Verification, IX, pages 287\u2013302. Elsevier Science Publishers B.V., 1990."},{"key":"182116_CR8","doi-asserted-by":"crossref","unstructured":"Cleaveland, R. and Yankelevich, D. An Operational Framework for Value-Passing Processes. In Proc. of Principles of Programming, Portand, Oregon, January 1994.","DOI":"10.1145\/174675.177941"},{"key":"182116_CR9","doi-asserted-by":"crossref","unstructured":"Corbett, J. Modeling and Analysis of Real-Time Ada Tasking programs. In Proc. of IEEE Real-Time Systems Symposium, pages 132\u2013141, 1994.","DOI":"10.1109\/REAL.1994.342723"},{"key":"182116_CR10","doi-asserted-by":"crossref","unstructured":"Fredette, A. and Cleaveland, R. RTSL: A Language for Real-Time Schedulability Analysis. In Proc. of IEEE Real-Time Systems Symposium, pages 274\u2013283, 1993.","DOI":"10.1109\/REAL.1993.393489"},{"key":"182116_CR11","unstructured":"Gerber, R. Communicating Shared Resources: A Model for Distributed Real-Time Systems. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 1991."},{"issue":"9","key":"182116_CR12","doi-asserted-by":"crossref","first-page":"768","DOI":"10.1109\/32.159838","volume":"18","author":"R. Gerber","year":"1992","unstructured":"Gerber, R. and Lee, I. A Layered Approach to Automating the Verification of Real-Time Systems. IEEE Trans. on Software Eng., 18(9):768\u2013784, 1992.","journal-title":"IEEE Trans. on Software Eng."},{"key":"182116_CR13","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1007\/BF01642508","volume":"3","author":"M. Hennessy","year":"1991","unstructured":"Hennessy, M. A Proof System for Communicating Processes with Value-passing. Formal Aspects of Computing, 3:346\u2013366, 1991.","journal-title":"Formal Aspects of Computing"},{"key":"182116_CR14","series-title":"Technical report","volume-title":"Symbolic Bisimulation","author":"M. Hennessy","year":"1992","unstructured":"Hennessy, M. and Lin, H. Symbolic Bisimulation. Technical report, Computer Science, School of Cognitive and Computing Sciences, University of Sussex, Brighton, UK, April 1992."},{"key":"182116_CR15","doi-asserted-by":"crossref","unstructured":"Hennessy, M. and Lin, H. Proof Systems for Message-passing Process Algebras. In CONCUR 93, pages 202\u2013216. LNCS 715, Springer Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_15"},{"key":"182116_CR16","doi-asserted-by":"crossref","unstructured":"Janowski, T. and Joseph, M. Dynamic Scheduling in the Presence of Faults: Specification and Verification. Technical Report RR301, Department of Computer Science, University of Warwick, 1996.","DOI":"10.1007\/3-540-61648-9_46"},{"issue":"5","key":"182116_CR17","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1093\/comjnl\/29.5.390","volume":"29","author":"M. Joseph","year":"1986","unstructured":"Joseph, M. and Pandya, P. Finding Response Times in a Real-Time System. Computer Journal, 29(5):390\u2013395, 1986.","journal-title":"Computer Journal"},{"key":"182116_CR18","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P. Kanellakis","year":"1990","unstructured":"Kanellakis, P. and Smolka, S. CCS Expressions, Finite State Processes, and Three Problems of Equivalence. Information and Computation, 86:43\u201368, 1990.","journal-title":"Information and Computation"},{"issue":"1","key":"182116_CR19","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02341921","volume":"1","author":"R. Lauber","year":"1989","unstructured":"Lauber, R. Forecasting Real-Time Behavior During Software Design using a CASE Environment. Real-Time Systems: The Interanational Journal of Time Critical Computing Systems, 1(1):61\u201376, 1989.","journal-title":"Real-Time Systems: The Interanational Journal of Time Critical Computing Systems"},{"issue":"1","key":"182116_CR20","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1109\/5.259433","volume":"82","author":"I. Lee","year":"1994","unstructured":"Lee, I., Br\u00e9mond-Gr\u00e9goire, P., and Gerber, R. A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems. Proceedings of the IEEE, 82(1):158\u2013171, 1994.","journal-title":"Proceedings of the IEEE"},{"key":"182116_CR21","unstructured":"Lee, I., Clarke, D., and Xie, H. The algebra of communicating shared resources and its toolkit. In Sang H. Song, editor, Advances in Real-Time Systems, chapter 12, pages 275\u2013298. Prentice Hall, 1995."},{"key":"182116_CR22","unstructured":"Lee, I. and Gehlot, V. Language Constructs for Distributed Real-Time Programming. In Proc. IEEE Real-Time Systems Symposium, 1985."},{"key":"182116_CR23","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. Liu","year":"1973","unstructured":"Liu, C. and Layland, J. Scheduling algorithms for multi-programming in a hard-real-time environment. Journal of the ACM, 20:46\u201361, 1973.","journal-title":"Journal of the ACM"},{"key":"182116_CR24","unstructured":"Liu, J. and Ha, R. Efficient methods of validating timing constraints. In Sang H. Song, editor, Advances in Real-Time Systems, chapter 9, pages 199\u2013233. Prentice Hall, 1995."},{"key":"182116_CR25","unstructured":"Milner, R. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"182116_CR26","unstructured":"Mok, A. The Design of Real-Time Programming Systems Based on Process Models. In Proc. of IEEE Real-Time Systems Symposium, pages 5\u201317, 1984."},{"key":"182116_CR27","doi-asserted-by":"crossref","unstructured":"Molini, J., Maimon, S., and Watson, P. Real-Time System Scenarios. In Proc. of IEEE Real-Time Systems Symposium, pages 214\u2013225, 1990.","DOI":"10.1109\/REAL.1990.128751"},{"key":"182116_CR28","unstructured":"Park, D. Concurrency and Automata on Infinite Sequences. In Proc. of 5th GI Conference. LNCS 104, Springer Verlag, 1981."},{"issue":"5","key":"182116_CR29","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1049\/sej.1990.0029","volume":"5","author":"M. Pilling","year":"1990","unstructured":"Pilling, M., Burns, A., and Raymond, K. Formal Specification and Proofs of Inheritance Protocols for Real-time Scheduling. Software Engineering Journal, 5(5):263\u2013279, 1990.","journal-title":"Software Engineering Journal"},{"key":"182116_CR30","doi-asserted-by":"crossref","unstructured":"Rajkumar, R., Sha, L., and Lehoczky, J. Real-Time Synchronization Protocols for Multiprocessors. In Proc. of IEEE Real-Time Systems Symposium, pages 259\u2013272, 1989.","DOI":"10.1109\/REAL.1988.51121"},{"key":"182116_CR31","unstructured":"Schreiber, M. Value-passing Process Calculi as a Formal Method. PhD thesis, Department of Computing, Imperial College, University of London, 1994."},{"issue":"9","key":"182116_CR32","doi-asserted-by":"crossref","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R., and Lehoczky, J. Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Transactions on Computers, 39(9):1175\u20131185, 1990.","journal-title":"IEEE Transactions on Computers"},{"key":"182116_CR33","doi-asserted-by":"crossref","unstructured":"Sha, L., Rajkumar, R., Lehoczky, J., and Ramamritham, J. Mode change Protocols for Priority Driven Preemptive Scheduling. Real-Time Systems: The Interanational Journal of Time Critical Computing Systems, 1(3), December 1989.","DOI":"10.1007\/BF00365439"},{"issue":"1","key":"182116_CR34","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF02341920","volume":"1","author":"B. Sprunt","year":"1989","unstructured":"Sprunt, B., Sha, L., and Lehoczky, J. Aperiodic Task Scheduling for Hard-Real-Time Systems. Real-Time Systems: The Interanational Journal of Time Critical Computing Systems, 1(1):27\u201360, 1989.","journal-title":"Real-Time Systems: The Interanational Journal of Time Critical Computing Systems"},{"key":"182116_CR35","unstructured":"Thomsen, B. and Ing\u00f3lfsd\u00f3ttir, A. Semantic Models for CCS with Values. In Proc. of Chalmers Workshop in Concurrency, May 1991."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008047130023.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008047130023\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008047130023.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T07:17:19Z","timestamp":1754637439000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008047130023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,11]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,11]]}},"alternative-id":["182116"],"URL":"https:\/\/doi.org\/10.1023\/a:1008047130023","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1998,11]]}}}