CÁC BÀI BÁO KHOA HỌC 17:27:31 Ngày 17/07/2019 GMT+7
Linking theories of concurrency

We construct a Galois connection between the theories that underlie CCS [7] and CSP [4]. It projects the complete transition system for CCS onto exactly the subset that satisfies the healthiness conditions of CSP. The construction applies to several varieties of both calculi: CCS with strong, weak or barbed simulation, and CSP with trace refinement or failures refinement, or failures/divergence. We suggest the challenge of linking other theories of concurrency by Galois connection. © Springer-Verlag Berlin Heidelberg 2005.


 Jifeng H., Hoare C.A.R.
   697.pdf    Gửi cho bạn bè
  Từ khóa : Computer simulation; Computer system recovery; Barbed simulation; Complete transition system; Failures refinement; Galois connection; Concurrency control