581 search results - page 3 / 117 » formats 2006 |
113
Voted
JCSS
2000
15 years 3 months ago
2000
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...
102
Voted
ISM
2006
IEEE
15 years 9 months ago
2006
IEEE
114
Voted
ANTSW
2006
Springer
15 years 7 months ago
2006
Springer
108
Voted
ANOR
2006
15 years 3 months ago
2006