Strategies as concurrent processes
Published version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Castellan, S
Hayman, J
Lasson, M
Winskel, G
Description
Keywords
4606 Distributed Computing and Systems Software, 46 Information and Computing Sciences
Journal Title
Electronic Notes in Theoretical Computer Science
Conference Name
Journal ISSN
1571-0661
Volume Title
308
Publisher
Elsevier BV