{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T20:19:21Z","timestamp":1694636361009},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[1984,11,1]],"date-time":"1984-11-01T00:00:00Z","timestamp":468115200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1984,11]]},"DOI":"10.1109\/tse.1984.5010309","type":"journal-article","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T20:37:01Z","timestamp":1243975021000},"page":"804-810","source":"Crossref","is-referenced-by-count":2,"title":["A Concurrency Measure"],"prefix":"10.1109","volume":"SE-10","author":[{"given":"Mohammad G.","family":"Khayat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231494"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1973.5009149"},{"key":"ref12","first-page":"187","article-title":"use of petri nets for providing correctness of concurrent process system","author":"lautenback","year":"1974","journal-title":"Proc IFIP Congress 74"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.2307\/2371809"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.21236\/ADA019702","author":"davis","year":"1975","journal-title":"An overview of production systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-737550-2.50008-7"},{"key":"ref17","author":"gazaly","year":"1981","journal-title":"Specification of concurrent processing using productions systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/356612.356615"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BFb0029355","volume":"16","author":"campbell","year":"1974","journal-title":"Lecture Notes in Computer Science"},{"key":"ref28","author":"holt","year":"1978","journal-title":"Structured Concurrent Programming with Operating Systems Applications"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.234783"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1979.12"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/320128.320129"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1147\/sj.72.0074"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/356842.356845"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/320128.320131"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1109\/TSE.1979.234182","article-title":"formal aspects of serializability in database concurrency control","volume":"se 5","author":"bernstein","year":"1979","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1979.22"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1137\/0114108"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1981.45"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231501"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1984.229462"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/361227.361234"},{"key":"ref24","first-page":"43","author":"dijkstra","year":"1968","journal-title":"Programming Languages"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360251"},{"key":"ref26","first-page":"624","article-title":"the notations of consistency and predicate locks in a database system","volume":"19","author":"eswaran","year":"1976","journal-title":"Commun Ass Comput Mach"},{"key":"ref25","author":"hansen","year":"1973","journal-title":"Operating System Principles"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/5010286\/05010309.pdf?arnumber=5010309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:33Z","timestamp":1638219273000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5010309\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,11]]},"references-count":30,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tse.1984.5010309","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[1984,11]]}}}