{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:47:35Z","timestamp":1742914055282,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540092513"},{"type":"electronic","value":"9783540353126"}],"license":[{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/bfb0014669","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:25:49Z","timestamp":1132723549000},"page":"198-234","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Specification and verification of a network mail system"],"prefix":"10.1007","author":[{"given":"Susan S.","family":"Owicki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"20_CR1","unstructured":"Owicki, S., Specifications and Proofs for Abstract Data Types in Concurrent Programs, in this volume."},{"issue":"3","key":"20_CR2","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1109\/TSE.1978.231498","volume":"4","author":"P. Brinch Hansen","year":"1978","unstructured":"Brinch Hansen, P., Network, a Multiprocessor Program. IEEE Trans on Software Engineering, v. 4, no. 3 (May, 1978) 194\u2013199.","journal-title":"IEEE Trans on Software Engineering"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Ambler, A., et al., A Language for Specification and Implementation of Verifiable Programs. Proc. of an ACM Conference on Language Design for Reliable Software, SIGPLAN Notices v. 12, n.3 (also Operating Systems Review v. 11, n.2, and Software Engineering Notes, v.2, n.2) (1977) 1\u201310.","DOI":"10.1145\/800022.808306"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Andrews, G., Modula and the Design of a Message Switching Communications System. TR78-329, Cornell University, Computer Science Dept. (1978)","DOI":"10.21236\/ADA531219"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Owicki, S., Verifying Parallel Programs with Resource Allocation. Proc. International Conference on Math. Studies of Information Processing, Kyoto, Japan (1978).","DOI":"10.1007\/3-540-09541-1_26"}],"container-title":["Lecture Notes in Computer Science","Program Construction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014669","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:22:46Z","timestamp":1736112166000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0014669"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540092513","9783540353126"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/bfb0014669","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}