Metric spaces as models for real−time concurrency

অনুরূপ উপাদানগুলি

• Analysing TM_FS: a study of nondeterminism in real−time concurrency
  অনুযায়ী: Roscoe, A, অন্যান্য
  প্রকাশিত: (1991)
• Translating between models of concurrency
  অনুযায়ী: Mestel, D, অন্যান্য
  প্রকাশিত: (2020)
• The timed failures−stability model for Timed CSP
  অনুযায়ী: Roscoe, A, অন্যান্য
  প্রকাশিত: (1996)
• Understanding Concurrent Systems
  অনুযায়ী: Roscoe, A
  প্রকাশিত: (2010)
• The theory and practice of concurrency
  অনুযায়ী: Roscoe, A
  প্রকাশিত: (1998)