{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T01:57:59Z","timestamp":1648605479422},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1981,11,1]],"date-time":"1981-11-01T00:00:00Z","timestamp":373420800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1981,11]]},"DOI":"10.1007\/bf00289309","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T03:28:19Z","timestamp":1096946899000},"page":"309-345","source":"Crossref","is-referenced-by-count":1,"title":["The formal definition of a real-time language"],"prefix":"10.1007","volume":"16","author":[{"given":"John L.","family":"Hennessy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard B.","family":"Kieburtz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Cook, S.: Axiomatic and interpretative semantics for an Algol fragment. Dept. of Computer Science, University of Toronto, Technical Report 79, 1975"},{"key":"CR2","volume-title":"Lecture Notes in Computer Science, Vol. 42","author":"J.E. Donahue","year":"1975","unstructured":"Donahue, J.E.: Complimentary definitions of programming language semantics. Lecture Notes in Computer Science, Vol. 42, Berlin Heidelberg New York: Springer 1975"},{"key":"CR3","volume-title":"Proceedings of the IFIP Conference on Formal Definition of Programming Concepts","author":"M Fokkinga","year":"1977","unstructured":"Fokkinga, M: Axiomatization of declarations and the formal treatment of the escape construct. Proceedings of the IFIP Conference on Formal Definition of Programming Concepts, New York: North Holland 1977"},{"key":"CR4","first-page":"283","volume":"22","author":"J.L. Hennessy","year":"1975","unstructured":"Hennessy, J.L., Kieburtz, R.B., Smith, D.R.: TOMAL: A task-oriented microprocessor Applications language. IEEE Trans. IECI 22, 283?289 (1975)","journal-title":"IEEE Trans. IECI"},{"key":"CR5","unstructured":"Hennessy, J.L.: A real-time language for small processors: Design, definition, and implementation. Dept. of Computer Science, SUNY at Stony Brook, Ph.D. Thesis, 1977"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. CACM 12, 576?580 (1969)","journal-title":"CACM"},{"key":"CR7","first-page":"83","volume-title":"Structured programming","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Notes on data structuring. In: Structured programming, pp 83?174, London: Academic Press 1972"},{"key":"CR8","volume-title":"Operating system techniques","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Towards a theory of parallel programming. In: Operating system techniques, London: Academic Press 1972"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"C.A.R. Hoare","year":"1973","unstructured":"Hoare, C.A.R., Wirth, N.: An axiomatic definition of the programming language Pascal. Acta Informat. 2, 335?355 (1973)","journal-title":"Acta Informat."},{"key":"CR10","first-page":"135","volume":"3","author":"C.A.R. Hoare","year":"1973","unstructured":"Hoare, C.A.R., Lauer, P.: Consistent and complementary definitions of formal semantics of programming languages. Acta Informat. 3, 135?154 (1973)","journal-title":"Acta Informat."},{"key":"CR11","unstructured":"Kieburtz, R.B., Cherniavsky, J.C.: Axioms for structural induction on programs containing block exit. Proc. MRI Sym. on Software Engineering, Polytechnic Inst. of New York, pp 239?250, 1976"},{"key":"CR12","unstructured":"Lucas, P., Lauer, P., Stigleittner, H.: Method and notation for the formal definition of programming languages. IBM Laboratory Vienna, IBM Technical Report 25.087, 1971"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Lucas, P., Walk, K.: On the formal description of PL\/I, IBM Laboratory Vienna, 1968","DOI":"10.1016\/0066-4138(69)90005-6"},{"key":"CR14","unstructured":"Owicki, S.S.: Axiomatic proof techniques for parallel programs. Dept. of Computer Science, Cornell University, Ph.D. Thesis, 1975"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0020-0190(72)90035-X","volume":"1","author":"H. Vantilborgh","year":"1972","unstructured":"Vantilborgh, H., van Lamsweerde, A.: On an extension of Dijkstra's semaphore primitives. Information Processing Lett. 1, 181?186 (1972)","journal-title":"Information Processing Lett."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/356596.356598","volume":"4","author":"P. Wegner","year":"1972","unstructured":"Wegner, P.: The Vienna definition language. Computs Surveys 4, 5?63 (1972)","journal-title":"Computs Surveys"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N. Wirth","year":"1971","unstructured":"Wirth, N.: The programming language Pascal. Acta Informat. 1, 35?63 (1971)","journal-title":"Acta Informat."},{"key":"CR18","first-page":"3","volume":"7","author":"N. Wirth","year":"1977","unstructured":"Wirth, N.: Modula: a language for modular multiprogramming. Software Practice and Experience 7, 3?35 (1977)","journal-title":"Software Practice and Experience"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"780","DOI":"10.1145\/362919.362936","volume":"14","author":"W.A. Wulf","year":"1971","unstructured":"Wulf, W.A., Russell, D.B., Haberman, A.N.: BLISS: A language for systems programming. CACM 14, 780?790 (1971)","journal-title":"CACM"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289309.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00289309\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T08:10:14Z","timestamp":1585901414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00289309"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,11]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1981,11]]}},"alternative-id":["BF00289309"],"URL":"https:\/\/doi.org\/10.1007\/bf00289309","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981,11]]}}}