{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:02Z","timestamp":1725663182825},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540503026"},{"type":"electronic","value":"9783540459651"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50302-1_6","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:20:11Z","timestamp":1330183211000},"page":"111-127","source":"Crossref","is-referenced-by-count":1,"title":["A specification language for reliable real-time systems"],"prefix":"10.1007","author":[{"given":"Hanno","family":"Wupper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Vytopil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"H. P. Barendregt, M. van Leeuwen: Functional Programming and the Language TALE, in: Current Trends in Concurrency (J.W. de Bakker et al., eds.), LNCS 224, Berlin 1985","DOI":"10.1007\/BFb0027041"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"A. Birolini: Qualit\u00e4t und Zuverl\u00e4ssigkeit technischer Systeme, Berlin, New York, Tokyo 1985","DOI":"10.1007\/978-3-662-09610-9"},{"issue":"4","key":"6_CR3","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli, P. Wegner: On Understanding Types, Data Abstraction, and Polymorphism, ACM Comp. Surv. 17 (1985), Nr. 4, pp. 471\u2013522","journal-title":"ACM Comp. Surv."},{"key":"6_CR4","unstructured":"E. W. Dijkstra: A Discipline of Programming, Englewood Cliffs, N.J. 1976"},{"key":"6_CR5","unstructured":"R. Koymans, R. K. Shyamasundar, W. P. de Roever, R. Gerth, S. Arun-Kumar: Compositional Semantics for Real-Time Distributed Computing, Report No. 68 (1985), Sectie Informatica, Kath. Univ. Nijmegen, 1985"},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/7474.7528","volume":"18","author":"Nancy G. G. Leveson","year":"1986","unstructured":"Nancy G. Leveson: Software safety: Why, What, and How, Comp. Surv., 18, No. 2, June 1986, pp.125\u2013163","journal-title":"Comp. Surv."},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/BF02136027","volume":"24","author":"B. Nordstr\u00f6m","year":"1984","unstructured":"B. Nordstr\u00f6m, J. M. Smith: Proposition, Types, and Specifications of Programs in Martin-L\u00f6f's Type Theory, BIT 24 (1984), pp. 288\u2013301","journal-title":"BIT"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"D. C. Parnas: Software Aspects of Strategic Defense Systems, C.ACM 28 (1985), No. 12","DOI":"10.1145\/214956.214961"},{"issue":"3\/4","key":"6_CR9","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0096-0551(86)90009-3","volume":"11","author":"K. Petersson","year":"1986","unstructured":"K. Petersson, J. M. Smith: Program Derivation in Type Theory: A Partitioning Problem, Comput. Lang. 11, No. 3\/4 (1986), pp. 161\u2013172","journal-title":"Comput. Lang."},{"key":"6_CR10","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1098\/rsta.1984.0065","volume":"312","author":"D. A. Turner","year":"1984","unstructured":"D. A. Turner: Functional Programs as Executable Specifications, Phil. Trans. R. Soc. Lond. A 312 (1984), pp. 363\u2013388","journal-title":"Phil. Trans. R. Soc. Lond. A"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"D. A. Turner: Miranda: A non-strict functional language with polymorphic types, Proc. Conf. in Fun. Lang. and Comp. Arch., Nancy, Sept. 85","DOI":"10.1007\/3-540-15975-4_26"},{"key":"6_CR12","unstructured":"H. Wupper, J. Vytopil, M. Wieczorek, D. de Reus: A Simple Language with Static Typing of Hard Real-Time Constraints, Rep. no. 88-3 (1988), Informatica, Kath. Univ. Nijmegen"}],"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-50302-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:17:49Z","timestamp":1605629869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50302-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503026","9783540459651"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-50302-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}