259 search results - page 5 / 52 » ccs 2010 |
78
Voted
CCS
2010
ACM
15 years 27 days ago
2010
ACM
CCS
2010
ACM
15 years 4 months ago
2010
ACM
CCS
2010
ACM
15 years 27 days ago
2010
ACM
CCS
2010
ACM
15 years 27 days ago
2010
ACM
91
Voted
ENTCS
2007
15 years 19 days ago
2007
RCCS is a variant of Milner’s CCS where processes are allowed a controlled form of backtracking. It turns out that the RCCS reinterpretation of a CCS process is equivalent, in t...