{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:51Z","timestamp":1725455991081},"publisher-location":"Berlin\/Heidelberg","reference-count":18,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354009511X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022477","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:24:08Z","timestamp":1132723448000},"page":"316-336","source":"Crossref","is-referenced-by-count":2,"title":["Specifying and proving properties of guardians for distributed systems"],"prefix":"10.1007","author":[{"given":"Carl","family":"Hewitt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Attardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry","family":"Lieberman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/TSE.1979.234149","volume":"SE-5","author":"R. Atkinson","year":"1979","unstructured":"Atkinson, R. and Hewitt, C. \"Specification and Proof Techniques for Serializers\" IEEE Transactions on Software Engineering SE-5. No. 1. January 1979. pp 10\u201323.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"18_CR2","unstructured":"Birtwistle, G. M.; Dahl, O.; Myhrhaug, B.; and Nygaard, K. \"SIMULA Begin\" Auerbach. 1973."},{"key":"18_CR3","unstructured":"Borning, A. H. \"THINGLAB \u2014 A Constraint-Oriented Simulation Laboratory\", Stanford PhD thesis, March 1979. Revised version to appear as Xerox PARC SSL-79-3."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Brinch Hansen, P. \"The Programming Language Concurrent Pascal\" IEEE Transactions on Software Engineering. June, 1975. pp 199\u2013207.","DOI":"10.1109\/TSE.1975.6312840"},{"key":"18_CR5","unstructured":"Clark, D. G.; Greif, I.; Liskov, B.; and Svobodova, L. \"Progress Report of the Distributed Systems Group 1977\u20131978\" MIT Computation Structures Group Memo. October 1978."},{"issue":"8","key":"18_CR6","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E. W. Dijkstra","year":"1975","unstructured":"Dijkstra, E. W. \"Guarded Commands, Nondeterminancy, and Formal Derivation of Programs\" CACM. Vol. 18. No. 8. August 1975. pp 453\u2013457.","journal-title":"CACM"},{"issue":"11","key":"18_CR7","doi-asserted-by":"crossref","first-page":"931","DOI":"10.1145\/359642.359650","volume":"21","author":"Friedman","year":"1978","unstructured":"Friedman and Wise. \"A Note on Conditional Expressions\" CACM. Vol 21. No. 11. November 1978. pp 931\u2013933.","journal-title":"CACM"},{"key":"18_CR8","unstructured":"Gjessing, S. \"Compile Time Preparations for Run Time Scheduling in Monitors\" Research Report No. 17, Institute of Informatics, University of Oslo, June 1977."},{"key":"18_CR9","unstructured":"Hewitt, C. and Baker, H. \"Laws for Communicating Parallel Processes\" MIT Artificial Intelligence Working Paper 134. December 1976. Invited paper at IFIP-77."},{"key":"18_CR10","unstructured":"Hewitt, C. \"Evolving Parallel Programs\" MIT AI Lab Working Paper 164. December 1978. Revised January 1979."},{"key":"18_CR11","unstructured":"Hewitt, C. \"Concurrent Systems Need Both Sequences and Serializers\" MIT AI Lab Working Paper 179. December 1978. Revised February 1979."},{"key":"18_CR12","unstructured":"Hewitt, C.; Attardi, G.; and Lieberman, H. \"Security and Modularity in Message Passing\" MIT AI Lab Working Paper 180. December 1978. Revised February 1979."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Hoaie, C. A. R. \"Monitors: An Operating System Structuring Concept\" CACM. October 1974.","DOI":"10.1007\/978-1-4757-3472-0_10"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Hoare, C. A. R. \"Language Hierarchies and Interfaces\" Lecture Notes in Computer Science No. 46. Springer, 1976. pp 242\u2013265.","DOI":"10.1007\/3-540-07994-7_56"},{"issue":"8","key":"18_CR15","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R. \"Communicating Sequential Processes\" CACM, Vol 21, No. 8. August 1978. pp. 666\u2013677.","journal-title":"CACM"},{"key":"18_CR16","unstructured":"Kay, A. Private communication. November 1972."},{"key":"18_CR17","unstructured":"Manna, Z. and McCarthy, J. \"Properties of Programs and Partial Function Logic\" Machine Intelligence 5 B. Meltzer and D. Michie, editors. Edinburgh Univ. Press. 1970. pp 27\u201337."},{"key":"18_CR18","unstructured":"Owicki, S. \"Verifying concurrent Programs With Shared Data Classes\" Formal Description of Programming Concepts edited by E. J. Neuhold. North Holland. 1978."}],"container-title":["Lecture Notes in Computer Science","Semantics of Concurrent Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022477","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:18:24Z","timestamp":1586578704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022477"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0022477","relation":{},"subject":[]}}