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)