Travelled to:1 × Israel
2 × USA
Collaborated with:A.Pnueli D.J.Lehmann D.Harel D.M.Gabbay S.Shelah
Talks about:fair (2) program (1) imparti (1) concurr (1) complet (1) axiomat (1) termin (1) tempor (1) system (1) recurs (1)
Person: Jonathan Stavi
DBLP: Stavi:Jonathan
Contributed to:
1981
1980
1977Wrote 3 papers:
- ICALP-1981-LehmannPS #concurrent #termination
- Impartiality, Justice and Fairness: The Ethics of Concurrent Termination (DJL, AP, JS), pp. 264–277.
- POPL-1980-GabbayPSS #on the
- On the Temporal Basis of Fairness (DMG, AP, SS, JS), pp. 163–173.
- STOC-1977-HarelPS #axiom #deduction #proving #recursion #source code
- A Complete Axiomatic System for Proving Deductions about Recursive Programs (DH, AP, JS), pp. 249–260.