{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:00Z","timestamp":1725664020371},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584681"},{"type":"electronic","value":"9783540489849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58468-4_186","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:15:21Z","timestamp":1330272921000},"page":"605-620","source":"Crossref","is-referenced-by-count":6,"title":["Specification and transformation of reactive systems with time restrictions and concurrency"],"prefix":"10.1007","author":[{"given":"Michael","family":"Schenke","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"2","key":"30_CR1","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J.C.M. 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"},{"issue":"5","key":"30_CR2","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1992","unstructured":"Zhou Chaochen, C.A.R.Hoare, A.P.Ravn. A Calculus of Durations. IPL 40(5), 1992, 269\u2013276.","journal-title":"IPL"},{"key":"30_CR3","unstructured":"M.Fr\u00c4nzle. Proposal for a Programming Language Core for ProCoS II. ProCoS Project Document [MF 11\/2], Universit\u00c4t Kiel."},{"key":"30_CR4","unstructured":"M.R.Hansen, E.-R. Olderog, M. Schenke. et al. A Duration Calculus Semantics for Real-Time Reactive Systems. ProCoS Project Document [OLD MRH 1\/1], Universit\u00c4t Oldenburg, 1993."},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"J.J.M.Hooman. Specification and Compositional Verification of Real-Time Systems. LNCS 558 (Springer-Verlag, 1991).","DOI":"10.1007\/3-540-54947-1"},{"key":"30_CR6","unstructured":"P.C.Masiero, A.P.Ravn, H.Rischel. Refinement of Real Time Specifications. ProCoS Project Document [ID\/DTH PCM\/0.1], Lyngby."},{"key":"30_CR7","unstructured":"C.Morgan. Programming from Specifications. Prentice Hall, 1990."},{"key":"30_CR8","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":"30_CR9","doi-asserted-by":"crossref","unstructured":"E.-R.Olderog. Interfaces between Languages for Communicating Systems. ICALP 1992, LNCS 623 (Springer-Verlag, 1992), 641\u2013655, invited paper.","DOI":"10.1007\/3-540-55719-9_111"},{"key":"30_CR10","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."},{"issue":"1","key":"30_CR11","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/32.210306","volume":"19","author":"A.P. 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"},{"key":"30_CR12","volume-title":"A Timed Specification Language for Concurrent Reactive Systems","author":"M. Schenke","year":"1993","unstructured":"M.Schenke. A Timed Specification Language for Concurrent Reactive Systems. Workshop on the Semantics of Specification Languages, Utrecht 1993, Springer-Verlag, Workshops in Computing."},{"key":"30_CR13","unstructured":"M.Schenke. Specification and Transformation of a Gas Burner. ProCoS Project Document [OLD MS 8\/1], Universit\u00c4t Oldenburg, 1993."},{"key":"30_CR14","doi-asserted-by":"crossref","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.","DOI":"10.1007\/3-540-58027-1_11"},{"key":"30_CR15","unstructured":"J.M.Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1989."},{"key":"30_CR16","unstructured":"E.Zijlstra. The railroad crossing. Deliverable, Esprit project DESCARTES, Foxboro, The Netherlands, 1988."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58468-4_186.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:49Z","timestamp":1605648109000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_186"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_186","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}