Article,

Weak CCP bisimilarity with strong procedures.

, , , and .
Sci. Comput. Program., (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews