{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T13:23:53Z","timestamp":1649165033998},"reference-count":12,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1987,5,1]],"date-time":"1987-05-01T00:00:00Z","timestamp":546825600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Microprocessors and Microsystems"],"published-print":{"date-parts":[[1987,5]]},"DOI":"10.1016\/0141-9331(87)90339-5","type":"journal-article","created":{"date-parts":[[2003,3,15]],"date-time":"2003-03-15T06:33:26Z","timestamp":1047710006000},"page":"205-208","source":"Crossref","is-referenced-by-count":0,"title":["Invariant testing technique for debugging a structured operating system"],"prefix":"10.1016","volume":"11","author":[{"given":"Wiktor B","family":"Daszczuk","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"No 3","key":"10.1016\/0141-9331(87)90339-5_BIB1","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1002\/spe.4380170305","article-title":"Microprocessor debugging techniques and their application in debugger design","volume":"Vol 17","author":"Gondzio","year":"1987","journal-title":"Software Pract. Experience"},{"key":"10.1016\/0141-9331(87)90339-5_BIB2","first-page":"323","article-title":"A tutorial introduction to ADB","volume":"volume 2","author":"Maranzano","year":"1983"},{"key":"10.1016\/0141-9331(87)90339-5_BIB3","unstructured":"Daszczuk, W B and Gondzio, M \u2018Debugger family in distributed environment\u2019 (to be published)"},{"issue":"No 12","key":"10.1016\/0141-9331(87)90339-5_BIB4","first-page":"15","article-title":"Operating system SOM-5 for the Mera-400 minicomputer","author":"Chrobot","year":"1980","journal-title":"Informatyka"},{"issue":"No 6","key":"10.1016\/0141-9331(87)90339-5_BIB5","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/359114.359127","article-title":"High level programming for distributed computing","volume":"Vol 22","author":"Feldman","year":"1979","journal-title":"Commun. ACM"},{"issue":"No 4","key":"10.1016\/0141-9331(87)90339-5_BIB6","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1109\/TSE.1976.233830","article-title":"An introduction to the construction and verification of Alphard programs","volume":"Vol SE-2","author":"London","year":"1976","journal-title":"IEEE Trans. Software Eng."},{"issue":"No 4","key":"10.1016\/0141-9331(87)90339-5_BIB7","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1109\/TSE.1986.6312902","article-title":"Development of a debugger for a concurrent language","volume":"Vol SE-12","author":"Baiardi","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0141-9331(87)90339-5_BIB8","series-title":"Proc. 15th Hawaii Int. Conf. System Sciences","first-page":"86","article-title":"EDL: a basis for distributed system debugging tools","author":"Bates","year":"1982"},{"issue":"No 7","key":"10.1016\/0141-9331(87)90339-5_BIB9_1","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1145\/363156.363160","article-title":"Prevention of system deadlocks","volume":"Vol 12","author":"Habermann","year":"1969","journal-title":"Commun. ACM"},{"issue":"No 7","key":"10.1016\/0141-9331(87)90339-5_BIB9_2","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/363156.363160","article-title":"Prevention of system deadlocks","volume":"Vol 12","author":"Habermann","year":"1969","journal-title":"Commun. ACM"},{"issue":"No 1","key":"10.1016\/0141-9331(87)90339-5_BIB10","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/362452.362486","article-title":"Comments on \u201cPrevention of system deadlocks\u201d","volume":"Vol 14","author":"Holt","year":"1971","journal-title":"Commun. ACM"},{"key":"10.1016\/0141-9331(87)90339-5_BIB11","unstructured":"Daszczuk, W B \u2018Semantic and structured approach to design of operating system in distributed environment\u2019 Comput. J. (to be published)"}],"container-title":["Microprocessors and Microsystems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0141933187903395?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0141933187903395?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,25]],"date-time":"2019-03-25T07:27:30Z","timestamp":1553498850000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0141933187903395"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,5]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1987,5]]}},"alternative-id":["0141933187903395"],"URL":"https:\/\/doi.org\/10.1016\/0141-9331(87)90339-5","relation":{},"ISSN":["0141-9331"],"issn-type":[{"value":"0141-9331","type":"print"}],"subject":[],"published":{"date-parts":[[1987,5]]}}}