Concurrent Kleene Algebra

類似資料

• Foundations of Concurrent Kleene Algebra
  著者:: Hoare, C, 等
  出版事項: (2009)
• Concurrent Kleene Algebra and its Foundations
  著者:: Hoare, T, 等
  出版事項: (2011)
• Kleene Algebra with Hypotheses
  著者:: Doumane, A, 等
  出版事項: (2019)
• KLEENE ALGEBRAS ARE ALMOST UNIVERSAL
  著者:: Adams, M, 等
  出版事項: (1986)
• On Locality and the Exchange Law for Concurrent Processes
  著者:: Hoare, C, 等
  出版事項: (2011)