The Laws of Programming Unify Process Calculi

Lignende værker

• Algebra Unifies Operational Calculi
  af: van Staden, S, et al.
  Udgivet: (2012)
• Normal Forms for Synchronous and Asynchronous Process Calculi
  af: Hoare, T, et al.
  Udgivet: (2000)
• Program design calculi /
  af: Broy, Manfred
  Udgivet: (1993)
• On the Semantics of Refinement Calculi
  af: Yang, H, et al.
  Udgivet: (2015)
• Unified Theories of Programming
  af: Hoare, C
  Udgivet: (2015)