{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:46Z","timestamp":1725663586421},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572718"},{"type":"electronic","value":"9783540480297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57271-6_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:35:22Z","timestamp":1330259722000},"page":"279-293","source":"Crossref","is-referenced-by-count":2,"title":["Fairness of N-party synchronization and its implementation in a distributed environment"],"prefix":"10.1007","author":[{"given":"Cheng","family":"Wu","sequence":"first","affiliation":[]},{"given":"Gregor","family":"Bochmann","sequence":"additional","affiliation":[]},{"given":"Mingyu","family":"Yao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"R. C. Attie, I. R. Forman and E. Levy, On Fairness as an abstraction for the design of distributed systems, Proc. of The 10th International Conference on Distributed Computing Systems, Paris, France, 1990.","DOI":"10.1109\/ICDCS.1990.89279"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"R.J.R. Back and R. Kurki-Suonio, Serializability in distributed systems with handshaking, in Proc. 15th ICALP, Tampere, LNCS 317, pages 52\u201366, Springer-Verlag, Juillly 1988.","DOI":"10.1007\/3-540-19488-6_106"},{"issue":"No.2","key":"20_CR3","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1145\/24039.24050","volume":"9","author":"A. Charlesworth","year":"1987","unstructured":"A. Charlesworth, The Multi-way Rendezvous, ACM Tran. on Programming Languages and Systems, Vol. 9, No. 2, July 1987, pp. 350\u2013366.","journal-title":"ACM Tran. on Programming Languages and Systems"},{"key":"20_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4886-6","volume-title":"Fairness","author":"N. Francez","year":"1986","unstructured":"N. Francez, Fairness, Springer-Verag New York, 1986."},{"key":"20_CR5","unstructured":"Q. Gao and G. v. Bochmann, Distributed Implementation of LOTOS Multiple-Rendezvous, participant proceeding of The 9th International Symposium of Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 1989."},{"key":"20_CR6","unstructured":"ISO, LOTOS: a formal description technique, IS8807, 1989."},{"key":"20_CR7","unstructured":"R. Kuiper and W. P. d. Roever, Fairness assumptions for CSP in a temporal logic framework, Proc. of TC.2 Working Conference on the Formal Description of Programming Concepts, Garmisch Partenkirchen, North Holland, 1983."},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"D. Kumar, An implementation of N-way Synchronization Using Tokens, Proc. of The 10th International Conference on Distributed Computing Systems, Paris France, 1990.","DOI":"10.1109\/ICDCS.1990.89299"},{"key":"20_CR9","volume-title":"Ph.D. thesis","author":"J. Parrow","year":"1985","unstructured":"J. Parrow, Fairness properties in process algebra, (Ph.D. thesis) Dept. of computer Systems, Uppsala University, Uppsala, Sweden, 1985."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"A. Pnueli, The Temporal Semantics of Concurrent Programs, LNCS 70, Springer-Verlag, 1979, pp. 1\u201320.","DOI":"10.1007\/BFb0022460"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"S. Ramesh, A New and Efficient Implementation of Multiprocesses Synchronization, Proc. of PARLE, Eindhoven, 1987.","DOI":"10.1007\/3-540-17945-3_22"},{"key":"20_CR12","unstructured":"Yih-Kuen Tsay, Rajive L.Bagrodia, \u201cSome Impossibility Results in Interprocess Synchronization\u201d, Technical report CSD-890059, Computer Science Department, UCLA, 1989"},{"key":"20_CR13","unstructured":"C. Wu and G. v. Bochmann, Fairness in LOTOS, FORTE'91, Sydney, Nov. 19\u201321, 1991."},{"key":"20_CR14","unstructured":"C. Wu, G. V. Bochmann, and Minyu Yao, Fairness of N-party Synchronization and Its Implementation in a Distributed Environment, No. 797, Dept. I.R.O., Universite de Montreal, Nov. 1991"}],"container-title":["Lecture Notes in Computer Science","Distributed Algorithms"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57271-6_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:36Z","timestamp":1605647436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57271-6_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572718","9783540480297"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-57271-6_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}