{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:16:17Z","timestamp":1725488177399},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672616"},{"type":"electronic","value":"9783540464280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46428-x_6","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T02:01:06Z","timestamp":1185933666000},"page":"66-81","source":"Crossref","is-referenced-by-count":6,"title":["A Process Algebra for Real-Time Programs"],"prefix":"10.1007","author":[{"given":"Henning","family":"Dierks","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-Checking for Real-Time Systems. In Fifth Annual IEEE Symp. on Logic in Computer Science, pages 414\u2013425. IEEE Press, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D.L. Dill. A theory of timed automata. TCS, 126:183\u2013235, 1994.","journal-title":"TCS"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"J.W. Davies and S.A. Schneider. A Brief History of Timed CSP. TCS, 138, 1995.","DOI":"10.1016\/0304-3975(94)00169-J"},{"key":"6_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/3-540-63010-4_8","volume-title":"ARTS\u201997","author":"H. Dierks","year":"1997","unstructured":"H. Dierks. PLC-Automata: A New Class of Implementable Real-Time Automata. In M. Bertran and T. Rus, editors, ARTS\u201997, volume 1231 of LNCS, pages 111\u2013125, Mallorca, Spain, May 1997. Springer."},{"key":"6_CR5","unstructured":"H. Dierks. Specification and Verification of Polling Real-Time Systems. PhD thesis, University of Oldenburg, July 1999."},{"issue":"1","key":"6_CR6","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/43.739057","volume":"18","author":"H. Dierks","year":"1999","unstructured":"H. Dierks. Synthesizing Controllers from Real-Time Specifications. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 18(1):33\u201343, 1999.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"6_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BFb0055334","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"H. Dierks","year":"1998","unstructured":"H. Dierks, A. Fehnker, A. Mader, and F.W. Vaandrager. Operational and Logical Semantics for Polling Real-Time Systems. In H. Rischel, editors. Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1486 of LNCS, Lyngby, Denmark, September 1998. Springer Ravn and Rischel [16], pages 29\u201340."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"H. Dierks and J. Tapken. Tool-Supported Hierarchical Design of Distributed Real-Time Systems. In Proceedings of the 10th EuroMicro Workshop on Real Time Systems, pages 222\u2013229. IEEE Computer Society, June 1998.","DOI":"10.1109\/EMWRTS.1998.685088"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BF01211086","volume":"9","author":"M.R. Hansen","year":"1997","unstructured":"M.R. Hansen and Zhou Chaochen. Duration Calculus: Logical Foundations. Formal Aspects of Computing, 9:283\u2013330, 1997.","journal-title":"Formal Aspects of Computing"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T. Henzinger","year":"1994","unstructured":"T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic Model Checking for Real-Time Systems. Information and Computation, 111:193\u2013244, 1994.","journal-title":"Information and Computation"},{"key":"6_CR11","first-page":"357","volume-title":"Statusseminar des BMBF Softwaretechnologie","author":"B. Krieg-Br\u00fcckner","year":"1996","unstructured":"B. Krieg-Br\u00fcckner, J. Peleska, E.-R. Olderog, D. Balzer, and A. Baer. UniForM \u2014 Universal Formal Methods Workbench. In U. Grote and G. Wolf, editors, Statusseminar des BMBF Softwaretechnologie, pages 357\u2013378. BMBF, Berlin, March 1996."},{"issue":"1+2","key":"6_CR12","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"K.G. Larsen, P. Petterson, and Wang Yi. Uppaal in a nutshell. Software Tools for Technology Transfer, 1(1+2):134\u2013152, December 1997.","journal-title":"Software Tools for Technology Transfer"},{"key":"6_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/3-540-60385-9_12","volume-title":"Proc. CHARME\u201995","author":"O. Maler","year":"1995","unstructured":"O. Maler and A. Pnueli. Timing Analysis of Asynchronous Circuits using Timed Automata. In Proc. CHARME\u201995, volume 987 of LNCS, pages 189\u2013205. Springer, 1995."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"O. Maler and S. Yovine. Hardware Timing Verification using Kronos. In Proc. 7th Conf. on Computer-based Systems and Software Engineering. IEEE Press, 1996.","DOI":"10.1109\/ICCSSE.1996.554845"},{"issue":"9","key":"6_CR15","doi-asserted-by":"publisher","first-page":"794","DOI":"10.1109\/32.159837","volume":"18","author":"X. Nicollin","year":"1992","unstructured":"X. Nicollin, J. Sifakis, and S. Yovine. Compiling Real-Time Specifications into Extended Automata. IEEE Transactions on Software Engineering, 18(9):794\u2013804, September 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR16","series-title":"Lect Notes Comput Sci","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","year":"1998","unstructured":"A.P. Ravn and H. Rischel, editors. Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1486 of LNCS, Lyngby, Denmark, September 1998. Springer."},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1995.1014","volume":"116","author":"S.A. Schneider","year":"1995","unstructured":"S.A. Schneider. An Operational Semantics for Timed CSP. Information and Computation, 116:193\u2013213, 1995.","journal-title":"Information and Computation"},{"key":"6_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/BFb0055360","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"J. Tapken","year":"1998","unstructured":"J. Tapken and H. Dierks. MOBY\/PLC \u2014 Graphical Development of PLC-Automata. In H. Rischel, editors. Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1486 of LNCS, Lyngby, Denmark, September 1998. Springer Ravn and Rischel [16], pages 311\u2013314."},{"issue":"1+2","key":"6_CR19","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s100090050009","volume":"1","author":"S. Yovine","year":"1997","unstructured":"S. Yovine. Kronos: a verification tool for real-time systems. Software Tools for Technology Transfer, 1(1+2):123\u2013133, December 1997.","journal-title":"Software Tools for Technology Transfer"},{"issue":"5","key":"6_CR20","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40\/","author":"Z. Chaochen","year":"1991","unstructured":"Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. IPL, 40\/5:269\u2013276, 1991.","journal-title":"IPL"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46428-X_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T16:29:25Z","timestamp":1556728165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46428-X_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672616","9783540464280"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-46428-x_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}