{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:36:06Z","timestamp":1778301366401,"version":"3.51.4"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1993,7,1]],"date-time":"1993-07-01T00:00:00Z","timestamp":741484800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Comput"],"published-print":{"date-parts":[[1993,7]]},"DOI":"10.1007\/bf02242712","type":"journal-article","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T07:33:59Z","timestamp":1132040039000},"page":"245-254","source":"Crossref","is-referenced-by-count":21,"title":["Fairness and hyperfairness in multi-party interactions"],"prefix":"10.1007","volume":"6","author":[{"given":"Paul C.","family":"Attie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nissim","family":"Francez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Orna","family":"Grumberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02242712_CR1","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0020-0190(87)90001-9","volume":"26","author":"KR Apt","year":"1987","unstructured":"Apt KR, Bouge L, Clermont P: Two normal form theorems for CSP programs IPL 26:165\u2013171 (1987)","journal-title":"IPL"},{"key":"BF02242712_CR2","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/BF01872848","volume":"2","author":"KR Apt","year":"1988","unstructured":"Apt KR, Francez N, Katz S: Appraising fairness in distributed languages Distrib Comput 2:226\u2013241 (1988). Also: Proc 14th ACM-POPL Symp, Munich, Germany, January 1987","journal-title":"Distrib Comput"},{"key":"BF02242712_CR3","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0167-6423(83)90004-7","volume":"3","author":"KR Apt","year":"1983","unstructured":"Apt KR, Olderog ER: Proof rules and transformations dealing with fairness Sci Comput Program 3:65\u2013100 (1983)","journal-title":"Sci Comput Program"},{"key":"BF02242712_CR4","doi-asserted-by":"crossref","unstructured":"Bagrodia R: A distributed algorithm to implement N-party rendezvous Tech Rep Department of Computer Science, University of Texas at Austin, June 1987","DOI":"10.1007\/3-540-18625-5_48"},{"key":"BF02242712_CR5","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF01558665","volume":"3","author":"RJR Back","year":"1989","unstructured":"Back RJR, Kurki-Suonio R: Decentralization of process nets with centralized control Distrib Comput 3:73\u201387 (1989) Also: Proc 2nd ACM-PODC, Montreal, Canada, August 1983","journal-title":"Distrib Comput"},{"key":"BF02242712_CR6","unstructured":"Back RJR, Kurki-Suonio R: Cooperation in distributed systems using symmetric multiprocess handshaking Tech Rep A34, Abo Akademi 1984"},{"key":"BF02242712_CR7","unstructured":"Back RJR, Kurki-Suonio R: Serializability in distributed systems with handshaking Tech Rep 85-109, CMU, 1985"},{"issue":"4","key":"BF02242712_CR8","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"RJR Back","year":"1988","unstructured":"Back RJR, Kurki-Suonio R: Distributed cooperation with action systems. ACM Trans Program Lang Syst 10(4) 513\u2013554 (1988)","journal-title":"ACM Trans Program Lang Syst"},{"issue":"2","key":"BF02242712_CR9","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1145\/24039.24050","volume":"9","author":"A Charlesworth","year":"1987","unstructured":"Charlesworth A: The multiway rendezvous ACM Trans Program Lang Syst 9(2):350\u2013366 (1987)","journal-title":"ACM Trans Program Lang Syst"},{"key":"BF02242712_CR10","unstructured":"Chandy KM, Misra J: Synchronizing asynchronous processes \u2014the committee-coordination problem Tech Rep Department of Computer Science, University of Texas at Austin, 1987"},{"key":"BF02242712_CR11","unstructured":"Chandy KM, Misra J: Parallel program design: a foundation Chap 14, Addison Wesley 1988"},{"key":"BF02242712_CR12","unstructured":"Dijkstra, EW: A discipline of programming Prentice-Hall 1976"},{"key":"BF02242712_CR13","unstructured":"Deleted"},{"issue":"1","key":"BF02242712_CR14","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0167-6423(86)90018-3","volume":"6","author":"N Francez","year":"1986","unstructured":"Francez N, Hailpern BT, Taubenfeld G: SCRIPT\u2014a communication abstraction mechanism and its verification Sci Comput Program 6(1):35\u201388 (1986)","journal-title":"Sci Comput Program"},{"key":"BF02242712_CR15","series-title":"Tech Rep STP-098-86 (Rev 1.0)","volume-title":"On the design of large distributed systems","author":"I.R. Forman","year":"1987","unstructured":"Forman, I.R.: On the design of large distributed systems Tech Rep STP-098-86 (Rev 1.0), MCC, Austin, Texas January 1987. A preliminary version presented at the First International Conference on Computer Languages, Miami, Florida, October 1986"},{"key":"BF02242712_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4886-6","volume-title":"Fairness","author":"N Francez","year":"1986","unstructured":"Francez N: Fairness Springer, Berlin Heidelberg New York 1986"},{"issue":"5","key":"BF02242712_CR17","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0020-0190(89)90049-5","volume":"32","author":"N Francez","year":"1989","unstructured":"Francez N: Cooperating proofs for distributed programs with multi-party interactions IPL 32(5):235\u2013242 (1989)","journal-title":"IPL"},{"key":"BF02242712_CR18","doi-asserted-by":"crossref","unstructured":"Grumberg O, Francez N, Katz S: Fair termination of communicating processes 3rd ACM-PODC Conference, Vancouver, BC, Canada, August 1984","DOI":"10.1145\/800222.806752"},{"issue":"8","key":"BF02242712_CR19","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare CAR: Communicating sequential processes Commun ACM 21(8):666\u2013678 (1978)","journal-title":"Commun ACM"},{"key":"BF02242712_CR20","doi-asserted-by":"crossref","unstructured":"Hoare CAR: Communicating Sequential Processes Prentice-Hall 1985","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"BF02242712_CR21","unstructured":"Kuiper R, de Roever WP: Fairness assumptions for CSP in a temporal logic framework In: Biorner D (ed) Proc Tech Rep 2 Working Conference on Formal Description of Programming Concepts, Garmisch Partenkirchen North Holland 1983"},{"issue":"3","key":"BF02242712_CR22","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1145\/44501.44504","volume":"10","author":"ER Olderog","year":"1988","unstructured":"Olderog ER, Apt KR: Transformations realizing fairness assumptions for parallel programs ACM Trans Programm Lang Syst 10(3):420\u2013455 (1988)","journal-title":"ACM Trans Programm Lang Syst"},{"key":"BF02242712_CR23","doi-asserted-by":"crossref","unstructured":"Plotkin GD: An operational semantics for CSP In: Biorner D (ed) Tech Rep 2 Working Conference on Formal Description of Programming Concepts, Garmisch Partenkirchen, North Holland 1983","DOI":"10.1007\/3-540-11981-7_17"},{"key":"BF02242712_CR24","unstructured":"Pnueli A: Lect Notes of CS395T, Specification and verification of reactive systems University of Texas at Austin 1986"},{"issue":"8","key":"BF02242712_CR25","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1109\/TSE.1987.233514","volume":"13","author":"S Ramesh","year":"1987","unstructured":"Ramesh S, Mehndiratta H: A methodology for developing distributed programs IEEE Trans Software Eng SE-13(8):967\u2013976 (1987)","journal-title":"IEEE Trans Software Eng SE"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02242712.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02242712\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02242712","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T22:32:17Z","timestamp":1586557937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02242712"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,7]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1993,7]]}},"alternative-id":["BF02242712"],"URL":"https:\/\/doi.org\/10.1007\/bf02242712","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,7]]}}}