| 2007 | ||
|---|---|---|
| 3 | EE | Stephen Brookes: A semantics for concurrent separation logic. Theor. Comput. Sci. 375(1-3): 227-270 (2007) |
| 2006 | ||
| 2 | EE | Stephen Brookes: A Grainless Semantics for Parallel Programs with Shared Mutable Data. Electr. Notes Theor. Comput. Sci. 155: 277-307 (2006) |
| 1 | EE | Stephen Brookes: Retracing CSP. Electr. Notes Theor. Comput. Sci. 162: 127-133 (2006) |