Stephen Brookes

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

3 Stephen Brookes: A semantics for concurrent separation logic. Theor. Comput. Sci. 375(1-3): 227-270 (2007)

2006

2 Stephen Brookes: A Grainless Semantics for Parallel Programs with Shared Mutable Data. Electr. Notes Theor. Comput. Sci. 155: 277-307 (2006)

1 Stephen Brookes: Retracing CSP. Electr. Notes Theor. Comput. Sci. 162: 127-133 (2006)

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