1 Strategies as Concurrent Processes Simon Castellan∗ Jonathan Hayman∗ Marc Lasson† Glynn Winskel∗ ∗ Computer Laboratory, University of Cambridge

First Page		Document Content
Date: 2014-02-05 12:53:18		1 Strategies as Concurrent Processes Simon Castellan∗ Jonathan Hayman∗ Marc Lasson† Glynn Winskel∗ ∗ Computer Laboratory, University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 268,78 KB Share Document on Facebook