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)