Stephen Brookes

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2011

5 Stephen Brookes: A Revisionist History of Concurrent Separation Logic. Electr. Notes Theor. Comput. Sci. 276: 5-28 (2011)

2010

4 Stephen Brookes: Fairness, Resources, and Separation. Electr. Notes Theor. Comput. Sci. 265: 177-195 (2010)

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)

	2011
5		Stephen Brookes: A Revisionist History of Concurrent Separation Logic. Electr. Notes Theor. Comput. Sci. 276: 5-28 (2011)
	2010
4		Stephen Brookes: Fairness, Resources, and Separation. Electr. Notes Theor. Comput. Sci. 265: 177-195 (2010)
	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)

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page