119
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Many categories have been used to model concurrency. Using any of these, the challenge is to reduce a given model to a smaller representation which nevertheless preserves the relev...