{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T07:14:28Z","timestamp":1672470868851},"reference-count":27,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1995,3,1]],"date-time":"1995-03-01T00:00:00Z","timestamp":794016000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":6713,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1995,3]]},"DOI":"10.1016\/0304-3975(94)00206-x","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T19:40:02Z","timestamp":1049744402000},"page":"95-138","source":"Crossref","is-referenced-by-count":4,"title":["On using temporal logic for refinement and compositional verification of concurrent systems"],"prefix":"10.1016","volume":"140","author":[{"given":"Abdelillah","family":"Mokkedem","sequence":"first","affiliation":[]},{"given":"Dominique","family":"M\u00e9ry","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(94)00206-X_BIB1","series-title":"Proc. 3rd Ann. Symp. on Logic In Computer Science","first-page":"165","article-title":"The existence of refinement mappings","author":"Abadi","year":"1988"},{"key":"10.1016\/0304-3975(94)00206-X_BIB2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/151646.151649","article-title":"Composing specifications","volume":"15","author":"Abadi","year":"1993","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/0304-3975(94)00206-X_BIB3","doi-asserted-by":"crossref","DOI":"10.1016\/0304-3975(93)90151-I","article-title":"A logical view of composition","author":"Abadi","year":"1992"},{"key":"10.1016\/0304-3975(94)00206-X_BIB4","series-title":"Temporal logics and their applications","first-page":"53","article-title":"The use of temporal logic in the compositional specification of concurrent systems","author":"Barringer","year":"1987"},{"key":"10.1016\/0304-3975(94)00206-X_BIB5","series-title":"Sixteenth ACM Symp. on Theory of Computing","first-page":"51","article-title":"Now you may compose temporal logic specifications","author":"Barringer","year":"1984"},{"key":"10.1016\/0304-3975(94)00206-X_BIB6","article-title":"\u00dcber formal unentscheidbare s\u00e4tze der principa mathematica under verwandeter systeme, I","volume":"38","author":"G\u00f6del","year":"1931","journal-title":"Monatshefte f\u00fcr Mathematic und Physik"},{"key":"10.1016\/0304-3975(94)00206-X_BIB7","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/BF00289062","article-title":"The \u201cHoare Logic\u201d of concurrent programs","volume":"14","author":"Lamport","year":"1980","journal-title":"Acta Inform."},{"key":"10.1016\/0304-3975(94)00206-X_BIB8","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1145\/69624.357207","article-title":"Specifying concurrent program modules","volume":"2","author":"Lamport","year":"1983","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/0304-3975(94)00206-X_BIB9","first-page":"657","article-title":"What good is temporal logic?","author":"Lamport","year":"1983"},{"key":"10.1016\/0304-3975(94)00206-X_BIB10","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1145\/63238.63240","article-title":"A simple approach to specifying concurrent systems","volume":"1","author":"Lamport","year":"1989","journal-title":"Comm. ACM"},{"key":"10.1016\/0304-3975(94)00206-X_BIB11","article-title":"The temporal logic of actions","author":"Lamport","year":"1991"},{"key":"10.1016\/0304-3975(94)00206-X_BIB12","series-title":"Logics of Programs","first-page":"196","article-title":"The glory of the past","volume":"Vol. 193","author":"Lichtenstein","year":"1985"},{"key":"10.1016\/0304-3975(94)00206-X_BIB13","series-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","first-page":"201","article-title":"The anchored version of the temporal framework","author":"Manna","year":"1981"},{"key":"10.1016\/0304-3975(94)00206-X_BIB14","series-title":"4th School on Advanced Programming","first-page":"163","article-title":"Verification of concurrent programs: a temporal proof system","author":"Manna","year":"1982"},{"key":"10.1016\/0304-3975(94)00206-X_BIB15","series-title":"Correctness Problem in Computer Science","first-page":"215","article-title":"Verification of concurrent programs: the temporal framework","author":"Manna","year":"1982"},{"key":"10.1016\/0304-3975(94)00206-X_BIB16","series-title":"How to cook a temporal proof system for your pet language","author":"Manna","year":"1983"},{"key":"10.1016\/0304-3975(94)00206-X_BIB17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","article-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Manna","year":"1991"},{"key":"10.1016\/0304-3975(94)00206-X_BIB18","series-title":"5th SDL Forum Evolving methods","article-title":"A proof environment for a subset of SDL","author":"M\u00e9ry","year":"1991"},{"key":"10.1016\/0304-3975(94)00206-X_BIB19","series-title":"Computer Aided Verification","article-title":"Crocos: an integrated environment for interactive verification of SDL specifications","volume":"Vol. 663","author":"M\u00e9ry","year":"1992"},{"key":"10.1016\/0304-3975(94)00206-X_BIB20","series-title":"3rd Internat. Conf. on Algebraic Methodology and Software Technology","article-title":"On using a composition principle to design parallel programs","author":"Mokkedem","year":"1993"},{"key":"10.1016\/0304-3975(94)00206-X_BIB21","doi-asserted-by":"crossref","DOI":"10.1016\/0304-3975(94)00206-X","article-title":"On using temporal logic for refinement and compositional verification of concurrent systems","author":"Mokkedem","year":"1993"},{"key":"10.1016\/0304-3975(94)00206-X_BIB22","series-title":"1st Internat. Conf. on Temporal Logic","article-title":"A stuttering closed temporal logic for modular reasoning about concurrent programs","author":"Mokkedem","year":"1994"},{"key":"10.1016\/0304-3975(94)00206-X_BIB23","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00268134","article-title":"An axiomatic proof technique for parallel programs I","volume":"6","author":"Owicki","year":"1976","journal-title":"Acta Inform."},{"key":"10.1016\/0304-3975(94)00206-X_BIB24","series-title":"Semantics of Concurrent Computation","first-page":"1","article-title":"The temporal semantics of concurrent programs","volume":"Vol. 70","author":"Pnueli","year":"1979"},{"key":"10.1016\/0304-3975(94)00206-X_BIB25","series-title":"Logic and Models of Concurrent Systems","article-title":"In transition from global to modular temporal reasoning about programs","author":"Pnueli","year":"1985"},{"key":"10.1016\/0304-3975(94)00206-X_BIB26","series-title":"FSTTCS 92","first-page":"1","article-title":"System specification and refinement in temporal logic","volume":"Vol. 652","author":"Pnueli","year":"1992"},{"key":"10.1016\/0304-3975(94)00206-X_BIB27","article-title":"Compositionality, concurrency and partial correctness","volume":"Vol. 321","author":"Zwiers","year":"1989"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759400206X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759400206X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T04:54:48Z","timestamp":1555390488000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/030439759400206X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,3]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,3]]}},"alternative-id":["030439759400206X"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(94)00206-x","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1995,3]]}}}