{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T07:56:23Z","timestamp":1725695783582},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540531630"},{"type":"electronic","value":"9783642843044"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/978-3-642-84304-4_9","type":"book-chapter","created":{"date-parts":[[2012,7,28]],"date-time":"2012-07-28T19:48:34Z","timestamp":1343504914000},"page":"91-103","source":"Crossref","is-referenced-by-count":0,"title":["A Concept of Defining Semantics of Concurrent Microprograms"],"prefix":"10.1007","author":[{"given":"Marek","family":"Gondzio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Denotational engineering or from denotations to syntax","author":"AJ Blikle","year":"1987","unstructured":"Blikle, A.J., Denotational engineering or from denotations to syntax, in: VDM \u2014 A Formal Method at Work, Proc. Of VDM-Europe Symp., Brussels, (Springer LNCS 252), 1987."},{"key":"9_CR2","volume-title":"MetaSoft Primer. Towards a Metalanguge for Applied Denotational Semantics, LNCS No. 288","author":"AJ Blikle","year":"1987","unstructured":"Blikle, A.J., MetaSoft Primer. Towards a Metalanguge for Applied Denotational Semantics, LNCS No. 288, Springer Verlag, 1987."},{"key":"9_CR3","first-page":"345","volume-title":"Information Processina83","author":"AJ Blikle","year":"1983","unstructured":"Blikle, A.J. and Tarlecki, A., Naive denotational semantics, in: Mason, R.E.A. (ed), Information Processina\u201983, Elsevier Science Pub. B.V., 1983, pp. 345\u2013355."},{"issue":"5","key":"9_CR4","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1109\/32.6134","volume":"14","author":"W Damm","year":"1988","unstructured":"Damm, W., A microprogramming logic, IEEE Trans. on Software Engineering, Vol. 14, No. 5, 1988, pp. 559\u2013574.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"6","key":"9_CR5","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/BF00985823","volume":"13","author":"S Dasgupta","year":"1984","unstructured":"Dasgupta, S. and Wagner, A., The use of Hoare logic in the verification of horizontal microprograms, International Journal of Computer and Information Sciences, Vol. 13, No 6, pp. 461\u2013490, 1984.","journal-title":"International Journal of Computer and Information Sciences"},{"key":"9_CR6","first-page":"230","volume-title":"Proc. of 4th Euromicro Symp.","author":"P Dembinski","year":"1978","unstructured":"Dembinski, P. and Budkowski, S., Verification, design and description oriented microprogramming language, in: Proc. of 4th Euromicro Symp., Lawson, H.W. et al. (eds), Large Scale Integration North Holland Pub. Co., 1978, pp. 230\u2013240."},{"key":"9_CR7","volume-title":"The extension of the Microprogramming Language MIDDLE with Concurrence Mechanisms \u2014 Presented on the Ground of Denotational Semantics","author":"M Gondzio","year":"1988","unstructured":"Gondzio, M., The extension of the Microprogramming Language MIDDLE with Concurrence Mechanisms \u2014 Presented on the Ground of Denotational Semantics, PhD Thesis, Warsaw Univ. of Technology, 1988."},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1016\/0165-6074(89)90119-1","volume":"27","author":"M Gondzio","year":"1989","unstructured":"Gondzio, M., Verification oriented approach to concurrent microprogramming with the language C-MIDDLE, Microprocessing and Microprogramming, Vol. 27, pp. 607\u2013618, 1989.","journal-title":"Microprocessing and Microprogramming"},{"key":"9_CR9","volume-title":"Concurrency in microprogramming languages","author":"M Gondzio","year":"1989","unstructured":"Gondzio, M., Concurrency in microprogramming languages, in: Proc. of Svmp. on Microprocessor and Microcomputers Applications, Budapest, Hungary, 1989."},{"key":"9_CR10","first-page":"74","volume":"83","author":"M Gondzio","year":"1983","unstructured":"Gondzio, M. and Budkowski, S., Modelling and verifying asynchronous cooperation between microprogrammed units, in: Proc. of FTCS-14, Milano, Italy, IEEE Catalog 83CH1894\u20135, 1983, pp. 74\u201377.","journal-title":"Proc. of FTCS-14, Milano, Italy, IEEE Catalog"},{"key":"9_CR11","volume-title":"LCF_LSM \u2014 a system for specifying and verifying hardware","author":"M Gordon","year":"1983","unstructured":"Gordon, M., LCF_LSM \u2014 a system for specifying and verifying hardware, Tech. Rep. 41, Computer Lab., Univ. of Cambridge, 1983."},{"key":"9_CR12","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R., Communicating Sequential Processes, Prentice Hall Int., London, 1985."},{"issue":"3","key":"9_CR13","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1109\/TC.1976.5009256","volume":"C-25","author":"JL Huertas","year":"1976","unstructured":"Huertas, J.L. and Acha, J.I., Self-synchronization of asynchronous sequential circuits employing a general clock function, IEEE Trans. on Computers, Vol. C-25, No. 3, 1976, pp. 297\u2013300.","journal-title":"IEEE Trans. on Computers"},{"key":"9_CR14","volume-title":"On the specification and verification of VLSI systems","author":"T Larsson","year":"1986","unstructured":"Larsson, T., On the specification and verification of VLSI systems, Thesis No. 72, Dept. of Computer and Information Science, Linkoping Univ., 1986."},{"issue":"12","key":"9_CR15","doi-asserted-by":"publisher","first-page":"1073","DOI":"10.1109\/TC.1983.1676167","volume":"C-32","author":"V Pitchumani","year":"1983","unstructured":"Pitchumani, V. and Stabler, E.P., An inductive assertion method for register transfer level design verification, IEEE Trans. on Computers, Vol. C-32, No. 12, 1983, pp. 1073\u20131080.","journal-title":"IEEE Trans. on Computers"}],"container-title":["Rechnergest\u00fctzter Entwurf und Architektur mikroelektronischer Systeme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-84304-4_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T20:55:15Z","timestamp":1606424115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-84304-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540531630","9783642843044"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-84304-4_9","relation":{},"subject":[],"published":{"date-parts":[[1990]]}}}