{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:26Z","timestamp":1725663146559},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540116042"},{"type":"electronic","value":"9783540394242"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/3-540-11604-4_61","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:46:38Z","timestamp":1330191998000},"page":"331-368","source":"Crossref","is-referenced-by-count":0,"title":["Protection and synchronisation in a message-switched system"],"prefix":"10.1007","author":[{"given":"Jon","family":"Livesey","sequence":"first","affiliation":[]},{"given":"Eric","family":"Manning","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Andler S. Predicate Path Expressions. Proc. Sixth Annual ACM Symposium on Principles of Programming Languages. A.C.M. Jan 1979.","DOI":"10.1145\/567752.567774"},{"key":"17_CR2","unstructured":"Baskett F., J.H. Howard, and J.T. Montague Task Communication in DEMOS. Proc. 6th ACM Symposium on O.S. Principles. 1979."},{"key":"17_CR3","unstructured":"Brinch Hansen P. The Architecture of Concurrent Programs. Prentice Hall. 1977."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Campbell R.H. and A.N. Habermann The Specification of Process Synchronization by Path Expressions. Lecture Notes in Computer Science. Springer-Verlag, Vol 16, 1974.","DOI":"10.1007\/BFb0029355"},{"key":"17_CR5","unstructured":"Cheriton D.R. Multi-Process Structure and the THOTH Operating System. PhD Thesis. University of Waterloo, August, 1978."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Chandy K. M. and J. Misra Distributed Simulation: A Case Study in the Design and Verification of Distributed Programs. IEEE Trans. on Software Engineering. SE-5, No. 5, Sept 1979.","DOI":"10.1109\/TSE.1979.230182"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Cohen E., and D. Jefferson Protection in the Hydra Operating System. 5th Symposium on Operating System Principles. Texas 1975.","DOI":"10.1145\/800213.806532"},{"key":"17_CR8","unstructured":"Cook R.P. *MOD \u2014 A Language for Distributed Computing. Proc. 1st. International Conference on Distributed Computer Systems. IEEE. Oct. 1979."},{"key":"17_CR9","unstructured":"Cosserat D.C. A Capability oriented Multiprocessor System for Real-time Applications. I.C.C. Conference, Washington, Oct 1972."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Dennis J.B. and E.C. Van Horn Programming Semantics for multiprogrammed computations. Comm. ACM 9, March 1966.","DOI":"10.1145\/365230.365252"},{"key":"17_CR11","unstructured":"Devy M. and M. Diaz Multilevel Specification and Validation of the Control in Communication Systems. Proc. 1st. International Conference on Distributed Computer Systems. IEEE. Oct. 1979."},{"key":"17_CR12","unstructured":"England D.M. Operating System of System 250. International Switching Symposium. Cambridge, Mass., June 1972."},{"key":"17_CR13","unstructured":"Farber D. J. and K.C. Larsen The System Architecture of the Distributed Computer System \u2014 The Communications System. Proc. NCC. June 1973."},{"key":"17_CR14","unstructured":"Farber D.J. and J.R. Pickens The Overseer, a Powerful Communications Attribute for Bebugging and Security in thin-wire Connected Control Structures. Proc. ICCC 1976. October 1976."},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Habermann A.N. Path Expressions. Tech. Report. Dept. of Computer Science. Carnegie-Mellon University. June 1975.","DOI":"10.21236\/ADA015842"},{"key":"17_CR16","unstructured":"Hoare C.A.R. Monitors, an Operating Systems Structuring Concept. CACM Oct 74."},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Hoare C.A.R. Communicating Sequential Processes. C.A.C.M. 21,8. August 1978.","DOI":"10.1145\/359576.359585"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Jensen E.D. The Honeywell Experimental Distributed Processor \u2014 An Overview. Computer 11, 1. Jan 1978.","DOI":"10.1109\/C-M.1978.217904"},{"key":"17_CR19","unstructured":"Kamibayashi N. et al. Distributed Processing Oriented Interprocess Communication Facility for KOCOS. Proc. 3rd USA-Japan Computer Conference. AFIPS. Oct 1978."},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Lamport L. Time, Clocks and the Ordering of Events in a Distributed System. C.A.C.M. 21, 7. July 1978.","DOI":"10.1145\/359545.359563"},{"issue":"5","key":"17_CR21","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1145\/360051.360074","volume":"19","author":"B.W. Lampson","year":"1976","unstructured":"Lampson B.W. & Sturgis H.E. Reflections on an Operating System Design. CACM 19, 5 (May 1976) pp 251\u2013265.","journal-title":"CACM"},{"key":"17_CR22","unstructured":"Lelann G.E. Distributed Processing \u2014 Towards a Formal Approach. Proc. IFIP 1977."},{"key":"17_CR23","unstructured":"Lessor V., Serrain D. and Bonar J. PCL: A Process Oriented Job Control Language. Proc. 1st. International Conference on Distributed Computer Systems. IEEE. Oct. 1979."},{"key":"17_CR24","unstructured":"Livesey N. J. A Hybrid Implementation of Capabilities. M. Math. Thesis. University of Waterloo. April 1977."},{"key":"17_CR25","unstructured":"Livesey N.J. and Eric Manning Run-time Supervision in Transaction Processing. Seventh Texas Conference on Computing Systems October 1978."},{"key":"17_CR26","unstructured":"Livesey N. J. and Eric Manning What Mininet has Taught us about Programming Style. Proc. COMPSAC 78. I.E.E.E. October 1978."},{"key":"17_CR27","unstructured":"Livesey N. J. Contribution to: Enslow, P. Ed. Workshop on Interprocess Communication in Highly Distributed Systems. Atlanta, Georgia. November 20\u201322, 1978."},{"key":"17_CR28","unstructured":"Livesey N. J. Inter-process Communication and Naming in the Mininet System. Proc. COMPCON 79. I.E.E.E. February 1979."},{"key":"17_CR29","unstructured":"Livesey N. J. Run-Time Control in a Transaction-Oriented Operating System. PhD Thesis. University of Waterloo. April 1980."},{"key":"17_CR30","unstructured":"Manning Eric and R. W. Peebles. A Homogeneous Network for Data Sharing: Communications. Computer Networks, April 1978."},{"key":"17_CR31","unstructured":"Manning Eric, Livesey N.J. and H. Tokuda. Inter-Process Communication in Distributed Systems: One View. IFIP '80, To appear."},{"key":"17_CR32","unstructured":"Mao T. W. and R.T. Yeh Communications Port \u2014 A Language Concept for Concurrent Programming. Proc. 1st. International Conference on Distributed Computer Systems. IEEE. Oct. 1979."},{"key":"17_CR33","doi-asserted-by":"crossref","unstructured":"Milner R. Flowgraphs and Flow Algebras. J.A.C.M., 26, 4. Oct. 1979.","DOI":"10.1145\/322154.322167"},{"key":"17_CR34","unstructured":"Mills D.L. The Basic Operating System for The Distributed Computer Network. Tech. Report TR 416. University of Maryland. Jan. 1976."},{"key":"17_CR35","unstructured":"Peacock J. K., J.W. Wong and Eric Manning. A Distributed Approach to Queuing Network Simulation. Proc. Winter Simulation Conference. San Diego 1979."},{"key":"17_CR36","doi-asserted-by":"crossref","unstructured":"Peacock J. K., J.W. Wong and Eric Manning. Distributed Simulation Using a Network of Processors. Computer Networks, 3, 1. February 1979.","DOI":"10.1016\/0376-5075(79)90053-9"},{"key":"17_CR37","doi-asserted-by":"crossref","unstructured":"Peacock J. K., Eric Manning and J.W. Wong. Synchronization of Distributed Simulation Using Broadcast Algorithms. Computer Networks 4, 1. February 1980.","DOI":"10.1016\/0376-5075(80)90024-0"},{"key":"17_CR38","unstructured":"Peebles R.W. and Eric Manning. A Homogeneous Network for Data Sharing \u2014 Software Architecture and Data Management. CCNG Report E-16. University of Waterloo. 1974."},{"key":"17_CR39","doi-asserted-by":"crossref","unstructured":"Reed D.P. and R.K. Kanoida. Synchronisation with Event Counts and Sequencers. Proc. SOSP-6. Nov. 1977.","DOI":"10.1145\/800214.806550"},{"key":"17_CR40","unstructured":"Tandem Corporation. Tandem 16 System Introduction. Undated."},{"key":"17_CR41","unstructured":"Wilkes M.V and R.M. Needham. The Cambridge CAP Computer and its Operating System. North Holland. 1979."},{"key":"17_CR42","unstructured":"Zave P. On the Formal Definition of Processes. Proc 1976 International Conference on Parallel Processing. IEEE Computer Society. 1976."}],"container-title":["Lecture Notes in Computer Science","Operating Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11604-4_61.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:44:27Z","timestamp":1619556267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11604-4_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540116042","9783540394242"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/3-540-11604-4_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]}}}