{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:52:18Z","timestamp":1725483138595},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660101"},{"type":"electronic","value":"9783540487784"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"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":[[1999]]},"DOI":"10.1007\/3-540-48778-6_10","type":"book-chapter","created":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T10:18:07Z","timestamp":1178014687000},"page":"152-171","source":"Crossref","is-referenced-by-count":0,"title":["A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics"],"prefix":"10.1007","author":[{"given":"Karl","family":"Lermer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"issue":"3","key":"10_CR1","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"M. Abadi and L. Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17(3):507\u2013534, 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/BFb0000472","volume-title":"Algebraic Methodology and Software Technology (AMAST\u201997)","author":"C. J. Fidge","year":"1997","unstructured":"C. J. Fidge. Refinement rules for real-time multi-tasking programs. In Michael Johnson, editor, Algebraic Methodology and Software Technology (AMAST\u201997), volume 1349 of Lecture Notes in Computer Science, pages 199\u2013215. Springer-Verlag, December 1997."},{"key":"10_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/BFb0054291","volume-title":"Mathematics of Program Construction (MPC\u201998)","author":"C. J. Fidge","year":"1998","unstructured":"C. J. Fidge, I. J. Hayes, A. P. Martin, and A. K. Wabenhorst. A set-theoretic model for real-time specification and reasoning. In J. Jeuring, editor, Mathematics of Program Construction (MPC\u201998), volume 1422 of Lecture Notes in Computer Science, pages 188\u2013206. Springer-Verlag, 1998."},{"key":"10_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-60973-3_95","volume-title":"FME\u201996: Industrial Benefit and Advances in Formal Methods","author":"C. J. Fidge","year":"1996","unstructured":"C. J. Fidge, M. Utting, P. Kearney, and I. J. Hayes. Integrating real-time scheduling theory and program refinement. In M.-C. Gaudel and J. Woodcock, editors, FME\u201996: Industrial Benefit and Advances in Formal Methods, volume 1051 of Lecture Notes in Computer Science, pages 327\u2013346. Springer-Verlag, 1996."},{"key":"10_CR5","unstructured":"I. J. Hayes and M. Utting. A sequential real-time refinement calculus. Technical Report 97-33, Software Verification Research Centre, University of Queensland, August 1997. http:\/\/svrc.it.uq.edu.au\/Publications\/Technical_reports_1997.html."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"I. J. Hayes and M. Utting. Deadlines are termination. In D. Gries and W.-P. de Roever, editors, IFIP International Conference on Programming Concepts and Methods (PROCOMET\u2019 98), pages 186\u2013204. Chapman and Hall, 1998.","DOI":"10.1007\/978-0-387-35358-6_15"},{"key":"10_CR7","volume-title":"Communicating sequential processes","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating sequential processes. Prentice-Hall International, UK, LTD, 1985."},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872\u2013923, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR9","unstructured":"B. Mahony. Using the refinement calculus for dataflow processes. Technical Report 94-32, Software Verification Research Centre, University of Queensland, October 1994. http:\/\/svrc.it.uq.edu.au\/Publications\/Technical_reports_1994.html."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"B. Mahony and I. J. Hayes. A case study in timed refinement: A central heater. In J. M. Morris and R. C. Shaw, editors, Fourth Refinement Workshop, pages 138\u2013149. Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4471-3756-6_8"},{"key":"10_CR11","unstructured":"B. Mahony, C. Millerchip, and I. J. Hayes. A boiler control system: Overview of a case-study in timed refinement. In D. Del Bel Belluz and H. C. Ratz, editors, Software Safety: Everybody\u2019s Business\u2014Proc. 1993 International Workshop on Design and Review of Software Controlled Safety-Related Systems, pages 189\u2013208, 1994."},{"issue":"9","key":"10_CR12","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1109\/32.159841","volume":"18","author":"B. P. Mahony","year":"1992","unstructured":"B. P. Mahony and I. J. Hayes. A case-study in timed refinement: A mine pump. IEEE Transactions on Software Engineering, 18(9):817\u2013826, September 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR13","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"C. Morgan. Data refinement by miracles. In C. Morgan and T. Vickers, editors, On the Refinement Calculus, pages 59\u201364. Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4471-3273-8_4"},{"key":"10_CR15","unstructured":"C. Morgan. Programming from Specifications. Prentice-Hall, second edition, 1994."},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"C.C. Morgan and T. Vickers. On the Refinement Calculus. Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4471-3273-8"},{"issue":"4","key":"10_CR17","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/BF01213532","volume":"8","author":"D. Scholefield","year":"1996","unstructured":"D. Scholefield. Real-time refinement in Manna and Pnueli\u2019s temporal logic. Formal Aspects of Computing, 8(4):408\u2013427, 1996.","journal-title":"Formal Aspects of Computing"},{"key":"10_CR18","unstructured":"M. Utting and C. J. Fidge. Refinement of infeasible real-time programs. In L. Groves and S. Reeves, editors, Formal Methods Pacific\u2019 97, pages 243\u2013262. Springer-Verlag, 1997."},{"issue":"10","key":"10_CR19","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF01192157","volume":"31","author":"J. Wright von","year":"1994","unstructured":"J. von Wright. The lattice of data refinement. Acta Informatica, 31(10):105\u2013135, 1994.","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Real-Time and Probabilistic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48778-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T16:34:43Z","timestamp":1556382883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48778-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660101","9783540487784"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48778-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}