Unifying theories of healthiness condition

Míreanna comhchosúla

• Unifying theories of programming
  de réir: He, J, et al.
  Foilsithe / Cruthaithe: (1998)
• Unifying Theories for Parallel Programming
  de réir: Hoare, C, et al.
  Foilsithe / Cruthaithe: (1997)
• Unified Theories of Programming
  de réir: Hoare, C
  Foilsithe / Cruthaithe: (2015)
• Unifying Theories : A Personal Statement
  de réir: Hoare, C
  Foilsithe / Cruthaithe: (1996)
• Process Algebra: A Unifying Approach
  de réir: Hoare, C
  Foilsithe / Cruthaithe: (2004)