( en | de | ru )

 

Disambiguation of "Francez, Nissim"

Author of the publication

copydeleteadd this publication to your clipboard
Fairness and Hyperfairness in Multi-Party Interactions.

, , and . Distributed Comput., 6 (4): 245-254 (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nissim Caleff

Nissim Nachmias

Nissim Pinhas

Ute Nissim

Nissim Harel

 

Other publications of authors with the same name

Bilateralism based on Corrective Denial.. FLAP, 8 (2): 497-510 (2021)A Complete Rule for Equifair Termination., , and . J. Comput. Syst. Sci., 33 (3): 313-332 (1986)De Morgan Interpretation of the Lambek-Grishin Calculus., and . Rev. Symb. Log., 13 (4): 845-856 (2020)Appraising Fairness in Languages for Distributed Programming., , and . POPL, page 189-198. ACM Press, (1987)Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars., , and . Essays in Memory of Amir Pnueli, volume 6200 of Lecture Notes in Computer Science, page 144-166. Springer, (2010)Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems., and . CADE, volume 230 of Lecture Notes in Computer Science, page 21-41. Springer, (1986)A Proof Theory for First-order Logic with Definiteness., and . FLAP, (2017)A Generalization of Falsity in Finitely-many Valued Logics.. Fundam. Informaticae, 186 (1-4): 121-132 (2022)An Experimental Implementation of CSP., and . ICDCS, page 126-136. IEEE Computer Society, (1981)A Proof-Theoretic Semantics for Transitive Verbs with an Implicit Object.. MOL, page 59-67. ACL, (2017)