Publications

14 results for Nissim Francez

SCRIPT: A COMMUNICATION ABSTRACTION MECHANISM.
- - Nissim Francez
  - Brent Hailpern
- 2008
- EuroSys 2008
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
- - Martín Abadi
  - Bowen Alpern
  - et al.
- 1991
- Information Processing Letters
Resolving circularity in attribute grammars with applications to data flow analysis
- - S. Sagiv
  - O. Edelstein
  - et al.
- 1989
- POPL 1989
Script: A communication abstraction mechanism and its verification
- - Nissim Francez
  - Brent Hailpern
  - et al.
- 1986
- Science of Computer Programming
Symmetric intertask communication
- - Nissim Francez
  - Shaula A. Yemini
- 1985
- ACM Transactions on Programming Languages and Systems (TOPLAS)
An Environment for Logic Programming
- - Nissim Francez
  - Shalom Goldenberg
  - et al.
- 1985
- ACM SIGPLAN Notices
A weakest precondition semantics for communicating processes
- - Tzilla Elrad
  - Nissim Francez
- 1984
- Theoretical Computer Science
Product properties and their direct verification
- - Nissim Francez
- 1983
- Acta Informatica
SCRIPT: A COMMUNICATION ABSTRACTION MECHANISM.
- - Nissim Francez
  - Brent Hailpern
- 1982
- PODC 1982
A methodology for verifying request processing protocols
- - Christos N. Nikolaou
  - Nissim Francez
  - et al.
- 1983
- SIGCOMM 1983