Follow
Nissim Francez
Nissim Francez
Computer Science Faculty, Technion
Verified email at cs.technion.ac.il
Title
Cited by
Cited by
Year
Fairness
N Francez
Springer Science & Business Media, 2012
8652012
A proof system for communicating sequential processes
KR Apt, N Francez, WP De Roever
ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (3), 359-385, 1980
4891980
Finite-memory automata
M Kaminski, N Francez
Theoretical Computer Science 134 (2), 329-363, 1994
4831994
Distributed termination
N Francez
ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (1), 42-55, 1980
3661980
Decomposition of distributed programs into communication-closed layers
T Elrad, N Francez
Science of Computer programming 2 (3), 155-173, 1982
2751982
Interacting processes: A multiparty approach to coordinated distributed programming
N Francez, IR Forman
ACM Press/Addison-Wesley Publishing Co., 1996
2361996
Appraising fairness in languages for distributed programming
KR Apt, N Francez, S Katz
Distributed Computing 2, 226-241, 1988
2361988
Program verification
N Francez
Addison-Wesley Longman Publishing Co., Inc., 1992
1581992
A compositional approach to superimposition
L Bougé, N Francez
Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988
1491988
Achieving distributed termination without freezing
N Francez, M Rodeh
IEEE Transactions on Software Engineering, 287-292, 1982
1451982
Semantics of nondeterminism, concurrency, and communication
N Francez, CAR Hoare, DJ Lehmann, WP Roever
J. Comput. Syst. Sci. 19 (3), 290-308, 1979
1401979
Proof-theoretic semantics
N Francez
College Publications, 2015
1252015
Temporal prepositions and temporal generalized quantifiers
I Pratt, N Francez
Linguistics and Philosophy 24, 187-222, 2001
1162001
Asynchronous unison
JM Couvreur, N Francez, MG Gouda
ICDCS 92, 486-493, 1992
1071992
Script: A communication abstraction mechanism and its verification
N Francez, B Hailpern, G Taubenfeld
Science of Computer Programming 6, 35-88, 1986
105*1986
A proof rule for fair termination of guarded commands
O Grumberg, N Francez, JA Makowsky, WP de Roever
Information and Control 66 (1-2), 83-102, 1985
911985
E-type pronouns, i-sums, and donkey anaphora
S Lappin, N Francez
Linguistics and Philosophy 17, 391-428, 1994
871994
A linear-history semantics for languages for distributed programming
N Francez, D Lehmann, A Pnueli
Theoretical Computer Science 32 (1-2), 25-46, 1984
871984
A proof method for cyclic programs
N Francez, A Pnueli
Acta Informatica 9, 133-157, 1978
871978
Proof-theoretic semantics for a natural language fragment
N Francez, R Dyckhoff
Linguistics and Philosophy 33, 447-477, 2010
802010
The system can't perform the operation now. Try again later.
Articles 1–20