33 search results - page 2 / 7 » ccs 2000 |
108
Voted
CCS
2000
ACM
15 years 8 months ago
2000
ACM
99
Voted
FORTE
2000
15 years 5 months ago
2000
87
Voted
CCS
2000
ACM
15 years 8 months ago
2000
ACM
68
Voted
CCS
2000
ACM
15 years 8 months ago
2000
ACM
117
Voted
MICAI
2000
Springer
15 years 7 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...