1477 search results - page 67 / 296 » Token flow control |
94
Voted
SAC
2010
ACM
15 years 6 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
89
Voted
POPL
2010
ACM
15 years 5 months ago
2010
ACM
53
Voted
IFIP
2009
Springer
15 years 5 months ago
2009
Springer
84
Voted
FM
2001
Springer
15 years 5 months ago
2001
Springer
66
Voted
ICC
2000
IEEE
15 years 5 months ago
2000
IEEE