Specification−oriented Semantics for Communicating Processes

Схожі ресурси

• Specification−oriented Semantics for Communicating Processes
  за авторством: Olderog, E, та інші
  Опубліковано: (1983)
• Separation Logic Semantics for Communicating Processes
  за авторством: Hoare, T, та інші
  Опубліковано: (2008)
• Semantics of Nondeterminism‚ Concurrency and Communication
  за авторством: Francez, N, та інші
  Опубліковано: (1979)
• A ProCoS−WG Working Group Final Report: ESPRIT Working Group 8694
  за авторством: Bowen, J, та інші
  Опубліковано: (2015)
• Communicating Sequential Processes
  за авторством: Hoare, C
  Опубліковано: (1976)