{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:45:53Z","timestamp":1766065553268,"version":"3.40.5"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"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":["Annals of Software Engineering"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1023\/a:1020561826073","type":"journal-article","created":{"date-parts":[[2003,3,18]],"date-time":"2003-03-18T20:12:43Z","timestamp":1048018363000},"page":"235-274","source":"Crossref","is-referenced-by-count":131,"title":["The Real-Time Process Algebra (RTPA)"],"prefix":"10.1007","volume":"14","author":[{"given":"Yingxu","family":"Wang","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5098032_CR1","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J.C.M. Baeten","year":"1991","unstructured":"Baeten, J.C.M. and J.A. Bergstra (1991), \u201cReal Time Process Algebra, \u201d In Formal Aspects of Computing, Vol. 3, pp. 142\u2013188.","journal-title":"Formal Aspects of Computing"},{"key":"5098032_CR2","unstructured":"Boucher, A. and R. Gerth (1987), \u201cA Timed Model for Extended Communicating Sequential Processes, \u201d In Proceedings of ICALP'87, Lecture Notes in Computer Science, Vol. 267, Springer."},{"key":"5098032_CR3","first-page":"57","volume-title":"Lecture Notes in Computer Science","author":"A. Cerone","year":"2000","unstructured":"Cerone A. (2000), \u201cProcess Algebra Versus Axiomatic Specification of a Real-Time Protocol\u201d, Lecture Notes in Computer Science, Vol. 1816, Springer, Berlin, pp. 57\u201367."},{"key":"5098032_CR4","volume-title":"Microprogramming Concepts and Techniques","author":"B. Cline","year":"1981","unstructured":"Cline, B. (1981), Microprogramming Concepts and Techniques, Petrcelli, New York."},{"issue":"2","key":"5098032_CR5","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00365335","volume":"3","author":"E. Corsetti","year":"1991","unstructured":"Corsetti, E., A. Montanari, and E. Ratto (1991), \u201cDealing with Different Time Granularities in Formal Specifications of Real-Time Systems, \u201d The Journal of Real-Time Systems 3, 2, June, 191\u2013215.","journal-title":"The Journal of Real-Time Systems"},{"key":"5098032_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0257-1","volume-title":"Refinement in Z and Object-Z: Foundations and Advanced Applications","author":"J. Derrick","year":"2001","unstructured":"Derrick, J. and E. Boiten (2001), Refinement in Z and Object-Z: Foundations and Advanced Applications, Springer-Verlag, London."},{"key":"5098032_CR7","first-page":"66","volume-title":"Lecture Notes in Computer Science","author":"H. Dierks","year":"2000","unstructured":"Dierks, H. (2000), \u201cA Process Algebra for Real-Time Programs, \u201d Lecture Notes in Computer Science, Vol. 1783, Springer, Berlin, pp. 66\u201376."},{"issue":"3","key":"5098032_CR8","first-page":"346","volume":"8","author":"H. Fecher","year":"2001","unstructured":"Fecher, H. (2001), \u201cA Real-Time Process Algebra with Open Intervals and Maximal Progress, \u201d Nordic Journal of Computing 8, 3, 346\u2013360.","journal-title":"Nordic Journal of Computing"},{"key":"5098032_CR9","first-page":"144","volume-title":"Proceedings of the International Workshop on the Theorem Proving System and Its Applications","author":"R. Gerber","year":"1992","unstructured":"Gerber, R., E.L. Gunter, and I. Lee (1992), \u201cImplementing a Real-Time Process Algebra, \u201d In M. Archer, J.J. Joyce, K.N. Levitt, and P.J. Windley, Eds., Proceedings of the International Workshop on the Theorem Proving System and Its Applications, August, IEEE Computer Society Press, Los Alamitos, CA, pp. 144\u2013154."},{"key":"5098032_CR10","unstructured":"Higman, B. (1977), A Comparative Study of Programming Languages, 2nd ed., MacDonald."},{"key":"5098032_CR11","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R. (1985), Communicating Sequential Processes, Prentice-Hall.","DOI":"10.1007\/978-3-642-82921-5_4"},{"issue":"8","key":"5098032_CR12","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"C.A.R. Hoare","year":"1987","unstructured":"Hoare, C.A.R., I.J. Hayes, J. He, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey, and B.A. Sufrin (1987), \u201cLaws of Programming, \u201d Communications of the ACM 30, 8, August, 672\u2013686.","journal-title":"Communications of the ACM"},{"key":"5098032_CR13","first-page":"493","volume-title":"Lecture Notes in Computer Science","author":"A. Jeffrey","year":"1992","unstructured":"Jeffrey, A. (1992), \u201cTranslating Timed Process Algebra into Prioritized Process Algebra, \u201d In Proceedings of the 2nd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, J. Vytopil, Ed., Lecture Notes in Computer Science, Vol. 571, Springer-Verlag, Nijmegen, The Netherlands, pp. 493\u2013506."},{"key":"5098032_CR14","first-page":"325","volume-title":"Lecture Notes in Computer Science","author":"A.S. Klusener","year":"1992","unstructured":"Klusener, A.S. (1992), \u201cAbstraction in Real Time Process Algebra, \u201d In Proceedings of Real-Time: Theory in Practice, J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, Eds., Lecture Notes in Computer Science, Springer, Berlin, pp. 325\u2013352."},{"key":"5098032_CR15","doi-asserted-by":"crossref","unstructured":"Martin-Lof, P. (1975), \u201cAn Intuitionist Theory of Types: Predicative Part, \u201d In Logic Colloquium 1973, H. Rose and J.C. Shepherdson, Eds., North-Holland.","DOI":"10.1016\/S0049-237X(08)71945-1"},{"key":"5098032_CR16","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R. (1989), Communication and Concurrency, Prentice-Hall, Englewood Cliffs, NJ."},{"key":"5098032_CR17","doi-asserted-by":"crossref","unstructured":"Nicollin, X. and J. Sifakis (1991), \u201cAn Overview and Synthesis on Timed Process Algebras, \u201d In Proceedings of the 3rd International Computer Aided Verification Conference, pp. 376- 398.","DOI":"10.1007\/3-540-55179-4_36"},{"key":"5098032_CR18","volume-title":"Lecture Notes in Computer Science","author":"G.M. Reed","year":"1986","unstructured":"Reed, G.M. and A.W. Roscoe (1986), \u201cA Timed Model for Communicating Sequential Processes, \u201d In Proceedings of ICALP'86, Lecture Notes in Computer Science, Vol. 226, Springer, Berlin."},{"key":"5098032_CR19","unstructured":"Schneider, S.A. (1991), \u201cAn Operational Semantics for Timed CSP, \u201d Programming Research Group Technical Report TR\u20131\u201391, Oxford University."},{"key":"5098032_CR20","volume-title":"Proceedings of the 2nd European Workshop on Real-Time and Hybrid Systems","author":"J.J. Vereijken","year":"1995","unstructured":"Vereijken, J.J. (1995), \u201cA Process Algebra for Hybrid Systems, \u201d In Proceedings of the 2nd European Workshop on Real-Time and Hybrid Systems, A. Bouajjani and O. Maler, Eds., Grenoble, France, June."},{"issue":"4","key":"5098032_CR21","first-page":"469","volume":"6","author":"Y. Wang","year":"2001","unstructured":"Wang, Y. (2001), \u201cFormal Description of the UML Architecture and Extendibility, \u201d The International Journal of the Object 6, 4, 469\u2013488.","journal-title":"The International Journal of the Object"},{"key":"5098032_CR22","unstructured":"Wang, Y. (2002a), \u201cA New Math for Software Engineering - The Real-Time Process Algebra (RTPA), \u201d In Proceedings of the 2nd ASERC Workshop on Quantitative and Soft Computing Based Software Engineering (QSSE'02), April, Banff, AB, Canada."},{"key":"5098032_CR23","volume-title":"Proceedings of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02)","author":"Y. Wang","year":"2002","unstructured":"Wang, Y. (2002b), \u201cA New Approach to Real-Time System Specification, \u201d In Proceedings of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02), Winnipeg, MB, Canada, May."},{"key":"5098032_CR24","volume-title":"Component-Based Software Engineering","author":"Y. Wang","year":"2002","unstructured":"Wang, Y. (2002c), \u201cDescription of Static and Dynamic Behaviors of Software Components by the Real-Time Process Algebra (RTPA), \u201d In Component-Based Software Engineering, F. Barbier, Ed., Kluwer Academic, UK."},{"key":"5098032_CR25","volume-title":"Proceedings of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02)","author":"Y. Wang","year":"2002","unstructured":"Wang, Y. and N.C. Foinjong (2002), \u201cFormal Specification of a Real-Time Lift Dispatching System, \u201d In Proceedings of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02),Winnipeg, MB, Canada, May."},{"key":"5098032_CR26","doi-asserted-by":"crossref","unstructured":"Wang, Y. and G. King (2000), Software Engineering Processes: Principles and Applications, CRC Press, 752 pp.","DOI":"10.1201\/9781482274547"},{"key":"5098032_CR27","unstructured":"Wang, Y., H. Sjostrom, K.-L. Lundback, G.N. Sauer, L.-B. Fredriksson, H. Edler, O. Bridal, A. Lindbom, and J. Hedberg (2000), \u201cDistributed System Dependability Description and Comprehension, \u201d Technical Report D10.3 of PALBUS on Reliable\/Distributed\/Real-Time Control Buses, The Swedish National Testing and Research Institute (SP), pp. 1- 81."},{"key":"5098032_CR28","unstructured":"Wang, Y. and W. Wu (2002), \u201cCase Studies on Translation of RTPA Specifications into Java Programs, \u201d In Proceedings of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02), Winnipeg, MB, Canada, May."},{"key":"5098032_CR29","volume-title":"Comparative Programming Languages","author":"L.B. Wilson","year":"1988","unstructured":"Wilson, L.B. and R.G. Clark (1988), Comparative Programming Languages, Addison-Wesley, Wokingham, England."},{"key":"5098032_CR30","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J. and J. Davies (1996), Using Z: Specification, Refinement, and Proof, Prentice Hall International, London."}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020561826073.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1020561826073\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020561826073.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:08:21Z","timestamp":1747577301000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1020561826073"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":30,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["5098032"],"URL":"https:\/\/doi.org\/10.1023\/a:1020561826073","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}