Travelled to:
1 × USA
Collaborated with:
Y.Moscowitz A.Pnueli E.Y.Shapiro
Talks about:
communic (1) variabl (1) direct (1) logic (1)
Person: Alon Kleinman
DBLP: Kleinman:Alon
Contributed to:
Wrote 1 papers:
- POPL-1991-KleinmanMPS #communication #logic
- Communication with Directed Logic Variables (AK, YM, AP, EYS), pp. 221–232.