Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
univers (1) system (1) execut (1) small (1) model (1)
Person: Jay L. Gischer
DBLP: Gischer:Jay_L=
Contributed to:
Wrote 1 papers:
- LICS-1989-Gischer
- A Small Universal Model for System Executions (JLG), pp. 146–153.