{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:29Z","timestamp":1725663449893},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164425"},{"type":"electronic","value":"9783540397823"}],"license":[{"start":{"date-parts":[[1986,1,1]],"date-time":"1986-01-01T00:00:00Z","timestamp":504921600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16442-1_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:40:10Z","timestamp":1330195210000},"page":"197-209","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Proving entailment between conceptual state specifications"],"prefix":"10.1007","author":[{"given":"Eugene W.","family":"Stark","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"15_CR1","unstructured":"H. Barringer, R. Kuiper, \u201cA Temporal Logic Specification Method Supporting Hierarchical Development,\u201d Manuscript, University of Manchester Department of Computer Science, November, 1983."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper, \u201cNow You May Compose Temporal Specifications,\u201d Proceedings of the Sixteenth ACM Symposium on Theory of Computing, April, 1984, pp. 51\u201363.","DOI":"10.1145\/800057.808665"},{"key":"15_CR3","unstructured":"J.A. Goree, \u201cInternal Consistency of a Distributed Transaction System with Orphan Detection,\u201d MIT\/LCS\/TR-286, 1981."},{"issue":"12","key":"15_CR4","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/359657.359666","volume":"21","author":"J. V. Guttag","year":"1978","unstructured":"J.V. Guttag, E. Horowitz, D.R. Musser, \u201cAbstract Data Types and Software Validation,\u201d Comm. ACM 21, 12 (Dec., 1978), pp. 1048\u20131064.","journal-title":"Comm. ACM"},{"key":"15_CR5","unstructured":"B.T. Hailpern, S. S. Owicki, \u201cVerifying Network Protocols Using Temporal Logic,\u201d Technical Report No. 192, Computer Systems Laboratory, Stanford University, June, 1980."},{"issue":"4","key":"15_CR6","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. R. Hoare","year":"1972","unstructured":"C.A.R. Hoare, \u201cProof of Correctness of Data Representations,\u201d Acta Informatica 1, 4 (1972), pp. 271\u2013281.","journal-title":"Acta Informatica"},{"key":"15_CR7","unstructured":"C. B. Jones, \u201cDevelopment Methods for Computer Programs Including a Notion of Interference,\u201d Wolfson College, June, 1981."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"L. Lamport, \u201c'sometime\u2019 is Sometimes \u2018Not Never',\u201d Seventh ACM Conference on Principles of Programming Languages, 1980.","DOI":"10.1145\/567446.567463"},{"issue":"2","key":"15_CR9","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1145\/69624.357207","volume":"5","author":"L. Lamport","year":"1983","unstructured":"L. Lamport, \u201cSpecifying Concurrent Program Modules,\u201d ACM Transactions on Programming Languages and Systems, 5, 2 (April, 1983), pp. 190\u2013222.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"N.A. Lynch, \u201cConcurrency Control for Resilient Nested Transactions,\u201d ACM SIGACTSIGMOD Symposium on Principles of Database Systems, Atlanta, March, 1983.","DOI":"10.1145\/588058.588080"},{"key":"15_CR11","unstructured":"Z. Manna, A. Pnueli, \u201cVerification of Concurrent Programs: A Temporal Proof System,\u201d Stanford University Report No. STAN-CS-83-967, June, 1983."},{"issue":"3","key":"15_CR12","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/357172.357178","volume":"4","author":"S. S. Owicki","year":"1982","unstructured":"S. S. Owicki, L. Lamport, \u201cProving Liveness Properties of Concurrent Programs,\u201d ACM Transactions on Programming Languages and Systems, 4, 3 (July 1982), 455\u2013495.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"A. Pnueli, \u201cThe Temporal Logic of Programs,\u201d IEEE Symposium on Foundations of Computer Science, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"15_CR14","volume-title":"Temporal Logic Specification of Distributed Systems","author":"R. L. Schwartz","year":"1981","unstructured":"R. L. Schwartz, P. M. Melliar-Smith, \u201cTemporal Logic Specification of Distributed Systems,\u201d Second International Conference on Distributed Systems, INRIA, France, April, 1981."},{"key":"15_CR15","unstructured":"E. W. Stark, \u201cFoundations of a Theory of Specification for Distributed Systems,\u201d M.I.T. Laboratory for Computer Science Technical Report MIT\/LCS\/TR-342, August, 1984."},{"key":"15_CR16","unstructured":"E. W. Stark, \u201cProving Entailment Between Conceptual State Specifications,\u201d Department of Computer Science Technical Report 85\/15, State University of New York at Stony Brook, May, 1985."},{"key":"15_CR17","unstructured":"P. Wolper, \u201cTemporal Logic Can Be More Expressive,\u201d 22nd Annual Symposium on Foundations of Computer Science (1981), pp. 340\u2013347."},{"key":"15_CR18","unstructured":"A. Yonezawa, \u201cSpecification and Verification Techniques for Parallel Programs Based on Message Passing Semantics,\u201d MIT\/LCS\/TR-191, December, 1977."}],"container-title":["Lecture Notes in Computer Science","ESOP 86"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16442-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T00:21:09Z","timestamp":1578529269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16442-1_15"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164425","9783540397823"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-16442-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]},"assertion":[{"value":"29 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}