Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Separation Logic Semantics for Communicating Processes

Separation Logic Semantics for Communicating Processes

Tony Hoare and Peter W. O'Hearn

Journal
Electr. Notes Theor. Comput. Sci.
Pages
3−25
Volume
212
Year
2008

Links

See Also

Back to Top