{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:00:33Z","timestamp":1725642033724},"publisher-location":"London","reference-count":20,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199823"},{"type":"electronic","value":"9781447130789"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3078-9_3","type":"book-chapter","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T02:47:45Z","timestamp":1323658065000},"page":"32-54","source":"Crossref","is-referenced-by-count":2,"title":["Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications"],"prefix":"10.1007","author":[{"given":"E.-R.","family":"Olderog","sequence":"first","affiliation":[]},{"given":"M.","family":"Schenke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/3-540-52559-9_61","volume-title":"Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, LNCS 430 (Springer-Verlag","author":"RJR Back","year":"1990","unstructured":"R.J.R. Back: Parallel and Reactive Programs, in: J.W. de Bakker, W.-P. de Roever, G. Rozenberg, Eds., Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, LNCS 430 (Springer-Verlag, 1990 ) pp. 67\u201393."},{"issue":"2","key":"3_CR2","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"JCM Baeten","year":"1991","unstructured":"J.C.M. Baeten, J.A. Bergstra. Real time process algebra. Formal Aspects of Computing 3 (2), 1991, 142\u2013188.","journal-title":"Formal Aspects of Computing"},{"key":"3_CR3","volume-title":"LNCS 292 (Springer-Verlag","author":"FL Bauer","year":"1987","unstructured":"F.L. Bauer et al., The Munich Project CIP, Vol. II: The Transformation System CIP-S, LNCS 292 (Springer-Verlag, 1987 )."},{"key":"3_CR4","volume-title":"Universit\u00e4t Kiel","author":"M Fr\u00e4nzle","year":"1993","unstructured":"M. Fr\u00e4nzle and B. v. Karger. Proposal for a Programming Language Core for ProCoS II. ProCoS Project Document [MF 11\/3], Universit\u00e4t Kiel, 1993."},{"key":"3_CR5","volume-title":"Universit\u00e4t Oldenburg","author":"MR Hansen","year":"1994","unstructured":"M.R. Hansen, E.-R. Olderog, M. Schenke, et al. A Duration Calculus Semantics for Real-Time Reactive Systems. ProCoS Project Document [OLD MS 16\/1], Universit\u00e4t Oldenburg, 1994."},{"key":"3_CR6","first-page":"288","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863 (Springer- Verlag","author":"HE Jifeng","year":"1994","unstructured":"Jifeng He, C.A.R. Hoare, M. Fr\u00e4nzle, M. M\u00fcller-Olm, E.-R. Olderog, M. Schenke, M.R. Hansen, A.P. Ravn, and H. Rischel. Provably correct systems. In: H. Langmaack, W.-P. de Roever, and J. Vytopil, Eds., Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863 (Springer- Verlag, 1994 ) 288\u2013335."},{"key":"3_CR7","volume-title":"LNCS 558 (Springer-Verlag","author":"JJM Hooman","year":"1991","unstructured":"J.J.M. Hooman. Specification and Compositional Verification of Real-Time Systems. LNCS 558 (Springer-Verlag, 1991 )."},{"key":"3_CR8","unstructured":"INMOS Ltd., occam 2 Reference Manual (Prentice Hall, 1988)."},{"key":"3_CR9","volume-title":"J. Diaz, F. Orejas, Eds., Proc. TAPSOFT 89, LNCS 352 (Springer-Verlag","author":"B Krieg-Br\u00fcckner","year":"1989","unstructured":"B. Krieg-Br\u00fcckner. Algebraic specification and functionals for transforma-tional program and meta program development. In: J. Diaz, F. Orejas, Eds., Proc. TAPSOFT 89, LNCS 352 (Springer-Verlag, 1989 )."},{"key":"3_CR10","volume-title":"Prentice Hall","author":"C Morgan","year":"1990","unstructured":"C. Morgan. Programming from Specifications. Prentice Hall, 1990."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, S. Yovine. From ATP to Timed Graphs and Hybrid Systems. REX 1991, LNCS 600 (Springer-Verlag, 1991), 549\u2013572.","DOI":"10.1007\/BFb0032007"},{"key":"3_CR12","volume-title":"Interfaces between Languages for Communicating Systems","author":"E-R Olderog","year":"1992","unstructured":"E.-R. Olderog. Interfaces between Languages for Communicating Systems. ICALP 1992, LNCS 623 (Springer-Verlag, 1992), 641\u2013655, invited paper."},{"key":"3_CR13","volume-title":"Oldenburg","author":"E-R Olderog","year":"1992","unstructured":"E.-R. Olderog, S. R\u00f6ssig, J. Sander, M. Schenke. ProCoS at Oldenburg: The Interface between Specification Language and OCCam-like Programming Language. Technical Report Bericht 3\/92, Univ. Oldenburg 1992."},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/32.210306","volume":"1","author":"AP Ravn","year":"1993","unstructured":"A.P. Ravn, H. Rischel, K.M. Hansen. Specifying and Verifying Requirements of Real-Time Systems. IEEE Transactions on Software Engineering, vol. 19, 1 (1993) 41\u201355.","journal-title":"IEEE Transactions on Software Engineering, vol. 19"},{"key":"3_CR15","volume-title":"Design of Embedded Real-Time Computing Systems","author":"AP Ravn","year":"1994","unstructured":"A.P. Ravn. Design of Embedded Real-Time Computing Systems. Manuscript, DTU Lyngby, 1994."},{"key":"3_CR16","first-page":"152","volume-title":"D.J","author":"M Schenke","year":"1994","unstructured":"M. Schenke. A Timed Specification Language for Concurrent Reactive Sys-tems. In: D.J. Andrews, J.F. Groote, C.A. Middelburg, Eds., Proc. Semantics of Specification Languages, Workshops in Computer Science (Springer- Verlag, 1994 ) 152\u2013167."},{"key":"3_CR17","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1007\/3-540-58468-4_186","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863 (Springer-Verlag","author":"M Schenke","year":"1994","unstructured":"M. Schenke. Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency. In: H. Langmaack, W.-P. de Roever, and J. Vytopil, Eds., Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863 (Springer-Verlag, 1994 ) 605\u2013621."},{"key":"3_CR18","volume-title":"A Specification Oriented Semantics for the Refinement of Real-Time Systems","author":"D Scholefield","year":"1994","unstructured":"D. Scholefield, H. Zehan, He Jifeng. A Specification Oriented Semantics for the Refinement of Real-Time Systems, to appear in Theoretical Computer Science 1994."},{"key":"3_CR19","volume-title":"The Z Notation","author":"J.M.Spivey","year":"1989","unstructured":"J.M.Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1989."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, C.A.R.Hoare, A.P.Ravn. A Calculus of Durations. IPL 40 \/5 1991, 269\u2013276.","DOI":"10.1016\/0020-0190(91)90122-X"}],"container-title":["Workshops in Computing","Structures in Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3078-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T19:17:35Z","timestamp":1561058255000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3078-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199823","9781447130789"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3078-9_3","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}