{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:00Z","timestamp":1725455700156},"publisher-location":"Berlin\/Heidelberg","reference-count":8,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540544771"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023743","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T01:01:03Z","timestamp":1132362063000},"page":"292-301","source":"Crossref","is-referenced-by-count":1,"title":["A proof lattice-based technique for analyzing liveness of resource controllers"],"prefix":"10.1007","author":[{"given":"Ugo","family":"Buy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Moll","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","volume-title":"Automatic Synthesis of Resource Sharing Concurrent Programs","author":"U. Buy","year":"1990","unstructured":"U. Buy. Automatic Synthesis of Resource Sharing Concurrent Programs, PhD Dissertation, Computer Science Department, University of Massachusetts, Amherst, MA, September 1990."},{"key":"31_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic","author":"E. M. Clarke","year":"1981","unstructured":"E. M. Clarke, E. A. Emerson. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic, Lecture Notes in Computer Science 131, Springer-Verlag, New York, 1981."},{"key":"31_CR3","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/360933.360975","volume":"18","author":"E. W. Dijkstra","year":"1975","unstructured":"E. W. Dijkstra. Guarded Commands, Nondeterminacy and Formal Derivation of Programs, Communications of the Association for Computing Machinery, 18, 8, August 1975.","journal-title":"Communications of the Association for Computing Machinery"},{"key":"31_CR4","series-title":"Technical Report","volume-title":"Cooperating Sequential Processes","author":"E. W. Dijkstra","year":"1965","unstructured":"E. W. Dijkstra. Cooperating Sequential Processes, Technical Report EWD-123, Technological University, Eindhoven, The Netherlands, 1965."},{"key":"31_CR5","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TSE.1977.229904","volume":"SE-3","author":"L. Lamport","year":"1977","unstructured":"L. Lamport. Proving the Correctness of Multiprocess Programs, IEEE Trans. on Software Engineering, SE-3, 2, March 1977.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"31_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Z. Manna, P. Wolper. Synthesis of Communicating Processes from Temporal Logic Specifications, ACM Transactions on Programming Languages and Systems, 6, 1, January 1984.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"31_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/357172.357178","volume":"4","author":"S. S. Owicki","year":"1982","unstructured":"S. S. Owicki, L. Lamport. Proving Liveness Properties of Concurrent Programs, ACM Transactions on Programming Languages and Systems, 4, 3, July 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"31_CR8","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/TSE.1985.232526","volume":"SE-11","author":"K. Ramamritham","year":"1985","unstructured":"K. Ramamritham. Synthesizing Code for Resource Controllers, IEEE Transactions on Software Engineering, SE-11, 8, August 1985.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Computer-Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023743.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:50:23Z","timestamp":1607532623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023743"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540544771"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0023743","relation":{},"subject":[]}}