Browsing by Author Reeves, S
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
---|---|---|
6-Sep-2022 | Back to the Control Room: Managing Artistic Work | Reeves, S; Greiffenhagen, C; Perry, M |
2016 | Towards linking correctness conditions for concurrent objects and contextual trace refinement | Dongol, B; Groves, L |