Conference paper
A methodology for verifying request processing protocols
Christos N. Nikolaou, Nissim Francez, et al.
SIGCOMM 1983
This paper connects between notions of pure formal language theory and nondeterministic programming. The notion of a fair derivation in a context-free grammar is defined, whereby for every variable appearing infinitely often in sentential forms of an infinite derivation, each of its rules is used infinitely often. A context-free language is fairly generated if it has a grammar all of whose fair derivations are finite. It is proved that a context-free grammar is fairly terminating iff it is non-expansive. © 1982 Academic Press, Inc.
Christos N. Nikolaou, Nissim Francez, et al.
SIGCOMM 1983
Baruch Schieber, Shlomo Moran
PODC 1986
Tzilla Elrad, Nissim Francez
Science of Computer Programming
Ronny Lempel, Shlomo Moran
ACM TOIT