503 search results - page 12 / 101 » Data Flow Analysis for CCS |
140
click to vote
SCP
1998
15 years 3 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
89
Voted
RECOMB
2010
Springer
15 years 10 months ago
2010
Springer
105
Voted
SAS
2007
Springer
15 years 9 months ago
2007
Springer
115
Voted
ADAEUROPE
2000
Springer
15 years 7 months ago
2000
Springer