{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:01:35Z","timestamp":1742990495270,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214608"},{"type":"electronic","value":"9783642214615"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21461-5_8","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T09:25:36Z","timestamp":1307697936000},"page":"121-137","source":"Crossref","is-referenced-by-count":1,"title":["Relational Concurrent Refinement: Timed Refinement"],"prefix":"10.1007","author":[{"given":"John","family":"Derrick","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eerke","family":"Boiten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"Handbook of Process Algebra","year":"2001","key":"8_CR1","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier Science Inc., New York (2001)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-00255-7_13","volume-title":"Integrated Formal Methods","author":"E. Boiten","year":"2009","unstructured":"Boiten, E., Derrick, J.: Modelling divergence in relational concurrent refinement. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, pp. 183\u2013199. Springer, Heidelberg (2009)"},{"issue":"1-2","key":"8_CR3","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s00165-007-0066-z","volume":"21","author":"E.A. Boiten","year":"2009","unstructured":"Boiten, E.A., Derrick, J., Schellhorn, G.: Relational concurrent refinement II: Internal operations and outputs. Formal Aspects of Computing\u00a021(1-2), 65\u2013102 (2009)","journal-title":"Formal Aspects of Computing"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"de Roever, W.-P., Engelhardt, K.: Refinement: Model-Oriented Proof Methods and their Comparison, CUP (1998)","DOI":"10.1017\/CBO9780511663079"},{"key":"8_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0257-1","volume-title":"Refinement in Z and Object-Z","author":"J. Derrick","year":"2001","unstructured":"Derrick, J., Boiten, E.A.: Refinement in Z and Object-Z. Springer, Heidelberg (2001)"},{"issue":"1","key":"8_CR6","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/s00165-003-0007-4","volume":"15","author":"J. Derrick","year":"2003","unstructured":"Derrick, J., Boiten, E.A.: Relational concurrent refinement. Formal Aspects of Computing\u00a015(1), 182\u2013214 (2003)","journal-title":"Formal Aspects of Computing"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Derrick, J., Boiten, E.A.: More relational refinement: traces and partial relations. In: Electronic Notes in Theoretical Computer Science.Proceedings of REFINE 2008, Turku, vol.\u00a0214, pp. 255\u2013276 (2008)","DOI":"10.1016\/j.entcs.2008.06.012"},{"key":"#cr-split#-8_CR8.1","doi-asserted-by":"crossref","unstructured":"Derrick, J., Boiten, E.A.: Relational concurrent refinement: Automata. In: Electronic Notes in Theoretical Computer Science. Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009), December 2009, vol.\u00a0259, pp. 21\u201334 (2009);","DOI":"10.1016\/j.entcs.2009.12.015"},{"key":"#cr-split#-8_CR8.2","unstructured":"Extended version: Relational Concurrent Refinement III, submitted to Formal Aspects of Computing"},{"key":"8_CR9","unstructured":"Jifeng, H., Hoare, C.A.R.: Prespecification and data refinement. In: Data Refinement in a Categorical Setting. Technical Monograph, number PRG-90, Oxford University Computing Laboratory (November 1990)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-16442-1_14","volume-title":"ESOP 86","author":"H. Jifeng","year":"1986","unstructured":"Jifeng, H., Hoare, C.A.R., Sanders, J.W.: Data refinement refined. In: Robinet, B., Wilhelm, R. (eds.) ESOP 1986. LNCS, vol.\u00a0213, pp. 187\u2013196. Springer, Heidelberg (1986)"},{"key":"8_CR11","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"issue":"2","key":"8_CR12","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1006\/inco.1995.1134","volume":"121","author":"N. Lynch","year":"1995","unstructured":"Lynch, N., Vaandrager, F.: Forward and backward simulations I.: untimed systems. Information and Computation\u00a0121(2), 214\u2013233 (1995)","journal-title":"Information and Computation"},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1996.0060","volume":"128","author":"N. Lynch","year":"1996","unstructured":"Lynch, N., Vaandrager, F.: Forward and backward simulations Part II: timing-based systems. Information and Computation\u00a0128(1), 1\u201325 (1996)","journal-title":"Information and Computation"},{"key":"8_CR14","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"2","key":"8_CR15","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0304-3975(94)00170-N","volume":"138","author":"M.W. Mislove","year":"1995","unstructured":"Mislove, M.W., Roscoe, A.W., Schneider, S.A.: Fixed points without completeness. Theoretical Computer Science\u00a0138(2), 273\u2013314 (1995)","journal-title":"Theoretical Computer Science"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/BFb0032006","volume-title":"Proceedings of the Real-Time: Theory in Practice, REX Workshop","author":"X. Nicollin","year":"1992","unstructured":"Nicollin, X., Sifakis, J.: An overview and synthesis on timed process algebras. In: Proceedings of the Real-Time: Theory in Practice, REX Workshop, pp. 526\u2013548. Springer, London (1992)"},{"key":"8_CR17","unstructured":"Reed, G.M.: A uniform mathematical theory for real-time distributed computing. PhD thesis (1988)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/3-540-16761-7_81","volume-title":"Automata, Languages and Programming","author":"G.M. Reed","year":"1986","unstructured":"Reed, G.M., Roscoe, A.W.: A timed model for communicating sequential processes. In: Kott, L. (ed.) ICALP 1986. LNCS, vol.\u00a0226, pp. 314\u2013323. Springer, Heidelberg (1986)"},{"issue":"1-3","key":"8_CR19","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G.M. Reed","year":"1988","unstructured":"Reed, G.M., Roscoe, A.W.: A timed model for communicating sequential processes. Theor. Comput. Sci.\u00a058(1-3), 249\u2013261 (1988)","journal-title":"Theor. Comput. Sci."},{"issue":"1-2","key":"8_CR20","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0304-3975(98)00214-X","volume":"211","author":"G.M. Reed","year":"1999","unstructured":"Reed, G.M., Roscoe, A.W.: The timed failures-stability model for CSP. Theoretical Computer Science\u00a0211(1-2), 85\u2013127 (1999)","journal-title":"Theoretical Computer Science"},{"key":"8_CR21","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/3-540-58027-1_9","volume-title":"Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics","author":"S. Schneider","year":"1994","unstructured":"Schneider, S.: Timewise refinement for communicating processes. In: Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics, pp. 177\u2013214. Springer, London (1994)"},{"issue":"1","key":"8_CR22","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0167-6423(96)00016-0","volume":"28","author":"S. Schneider","year":"1997","unstructured":"Schneider, S.: Timewise refinement for communicating processes. Sci. Comput. Program.\u00a028(1), 43\u201390 (1997)","journal-title":"Sci. Comput. Program."},{"key":"8_CR23","volume-title":"Concurrent and Real Time Systems: The CSP Approach","author":"S. Schneider","year":"1999","unstructured":"Schneider, S.: Concurrent and Real Time Systems: The CSP Approach. John Wiley & Sons, Inc., New York (1999)"},{"key":"8_CR24","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/B978-044482830-9\/50019-9","volume-title":"Handbook of Process Algebra","author":"R.J. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.J.: The linear time - branching time spectrum I. The semantics of concrete sequential processes. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 3\u201399. North-Holland, Amsterdam (2001)"},{"key":"8_CR25","unstructured":"van Glabbeek, R.J.: The linear time \u2013 branching time spectrum II; the semantics of sequential systems with silent moves (extended abstract)"},{"key":"8_CR26","volume-title":"Using Z: Specification, Refinement, and Proof","author":"J.C.P. Woodcock","year":"1996","unstructured":"Woodcock, J.C.P., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Yuan, X., Chen, J., Zheng, G.: Duration calculus in COOZ. SIGSOFT Softw. Eng. Notes\u00a023 (May 1998)","DOI":"10.1145\/279437.279473"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21461-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T12:20:10Z","timestamp":1560255610000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21461-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214608","9783642214615"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21461-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}