On Locality and the Exchange Law for Concurrent Processes

Схожие документы

• Concurrent Kleene Algebra
  по: Hoare, C, и др.
  Опубликовано: (2009)
• Foundations of Concurrent Kleene Algebra
  по: Hoare, C, и др.
  Опубликовано: (2009)
• Concurrent Kleene Algebra and its Foundations
  по: Hoare, T, и др.
  Опубликовано: (2011)
• Separation Logic Semantics for Communicating Processes
  по: Hoare, T, и др.
  Опубликовано: (2008)
• Abstraction for Concurrent Objects
  по: Filipovic, I, и др.
  Опубликовано: (2010)