Linking Theories in Probabilistic Programming

Míreanna comhchosúla

• Linking Theories of Concurrency
  de réir: He, J, et al.
  Foilsithe / Cruthaithe: (2005)
• Unifying theories of programming
  de réir: He, J, et al.
  Foilsithe / Cruthaithe: (1998)
• Linking Theories in Computing Science
  de réir: Hoare, C
  Foilsithe / Cruthaithe: (2015)
• 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)