Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Finite-Memory Automata
- M. Kaminski, N. Francez
- Mathematics, Computer Science
- Theor. Comput. Sci.
- 21 November 1994
TLDR
Decomposition of Distributed Programs into Communication-Closed Layers
- T. Elrad, N. Francez
- Computer Science
- Sci. Comput. Program.
- 1 December 1982
TLDR
A Proof System for Communicating Sequential Processes
- K. Apt, N. Francez, W. Roever
- Computer Science
- TOPL
- 1 July 1980
TLDR
Interacting processes: a multiparty approach to coordinated distributed programming
- N. Francez, I. Forman
- Computer Science
- 1996
TLDR
- 75
- 7
A distributed abstract data type implemented by a probabilistic communication scheme
- N. Francez, M. Rodeh
- Computer Science
- 21st Annual Symposium on Foundations of Computer…
- 13 October 1980
TLDR
Distributed Termination
- N. Francez
- Computer Science
- TOPL
- 1980
TLDR
Appraising fairness in languages for distributed programming
- K. Apt, N. Francez, S. Katz
- Computer Science
- Distributed Computing
- 1 March 1988
TLDR
Superimposition for Interacting Processes
- N. Francez, I. Forman
- Computer Science
- CONCUR
- 27 August 1990
TLDR
A Note on Harmony
- N. Francez, R. Dyckhoff
- Mathematics, Computer Science
- J. Philos. Log.
- 1 June 2012
TLDR