Travelled to:1 × Greece
1 × USA
Collaborated with:∅ H.Comon V.Cortier
Talks about:constraint (1) protocol (1) automata (1) theoret (1) orient (1) object (1) method (1) memori (1) tree (1) pong (1)
Person: John Mitchell
DBLP: Mitchell:John
Contributed to:
2001
1992Wrote 2 papers:
- ICALP-2001-ComonCM #automaton #constraints #memory management #protocol #set
- Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols (HC, VC, JM), pp. 682–693.
- TOOLS-USA-1992-Mitchell #object-oriented
- Theoretical Basis of Object-Oriented Methods (JM), p. 272.