Nissim Francez
- Sara Porat, Nissim Francez, Shlomo Moran, and Shmuel Zaks. Fair deriviations in context-free
grammars. Information and Control, 55(1-3):108-116,
October/November/December 1982.
References
and Citations.
- A. P. Sistla, E. M. Clarke, N. Francez, and A. R. Meyer. Can message buffers be axiomatized
in linear temporal logic? Information and Control,
63(1/2):88-112, October/November 1984.
Abstract,
References,
and Citations.
- Orna Grumberg, Nissim Francez, Johann A. Makowsky, and William P. de
Roever. A proof rule
for fair termination of guarded commands. Information and
Control, 66(1/2):83-102, July/August 1985.
Citations.
- Ran Rinat, Nissim Francez, and Orna Grumberg. Infinite trees, markings and
well-foundedness. Information and Computation,
79(2):131-154, November 1988.
References
and Citations.
- Sara Porat and Nissim Francez. Fairness in context-free grammars
under every choice-strategy. Information and
Computation, 80(3):249-268, March 1989.
References.
- Yael Shemesh and Nissim Francez. Finite-state unification automata
and relational languages. Information and Computation,
114(2):192-213, 1 November 1994.
References.
Shortcuts: