{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:56Z","timestamp":1725663176310},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540503026"},{"type":"electronic","value":"9783540459651"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50302-1_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:20:02Z","timestamp":1330201202000},"page":"209-227","source":"Crossref","is-referenced-by-count":0,"title":["A formal treatment of interference in remote procedure calls"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Pappalardo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santosh K.","family":"Shrivastava","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"15_CR1","unstructured":"Aho A., Sethi R., Ullmann J., Principles of Compiler Design, Addison-Wesley, 1986."},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00289593","volume":"16","author":"E. Best","year":"1981","unstructured":"Best E. and Randell B., \u201cA Formal Model of Atomicity in Asynchronous Systems\u201d, Acta Informatica 16 (1981), 93\u2013124.","journal-title":"Acta Informatica"},{"key":"15_CR3","unstructured":"Goree J., \u201cInternal Consistency of a Distributed Transaction System\u201d, M. Sc. Thesis, Tech. rep. LCS\/TR-286, Massachusetts Institute of Technology, 1983."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Liskov B. and Scheifler R., \u201cGuardians and Actions: Linguistic Support for Robust Distributed Programming\u201d, ACM TOPLAS, July 1983.","DOI":"10.1145\/582153.582155"},{"key":"15_CR5","first-page":"246","volume":"105","author":"B. Lampson","year":"1981","unstructured":"Lampson B., \u201cRemote Procedure Calls\u201d, in LNCS 105, 246\u2013265, Springer-Verlag, New York, 1981.","journal-title":"LNCS"},{"issue":"7","key":"15_CR6","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport L., \u201cTime, Clocks, and the Ordering of Events in Distributed Systems\u201d, CACM 21 (7), 558\u2013565, July 1978.","journal-title":"CACM"},{"key":"15_CR7","unstructured":"Nelson B., \u201cRemote Procedure Call\u201d, Ph. D. thesis, Tech. rep. CSL-79-3, Xerox Palo Alto Research Center, 1981."},{"issue":"1","key":"15_CR8","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/32.4620","volume":"14","author":"F. Panzieri","year":"1988","unstructured":"Panzieri F., Shrivastava S.K., \u201cRajdoot: a Remote Procedure Call Mechanism Supporting Orphan Detection and Killing\u201d, IEEE Transactions on Software Engineering, 14, 1, 30\u201337, Jan. 1988.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR9","unstructured":"Shrivastava S., On the Treatment of Orphans in a Distributed System, in Proc. of the 3rd Symposium on Reliability in Distributed Software and Database Systems, 155\u2013162, IEEE Computer Society, 1983."},{"key":"15_CR10","unstructured":"Walker E., \u201cOrphan Detection in the Argus System\u201d, M. Sc. Thesis, Tech. rep. LCS\/TR-326, Massachusetts Institute of Technology, 1984."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50302-1_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:47Z","timestamp":1605647867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50302-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503026","9783540459651"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-50302-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}