Linear Constraint Systems as High-Level Nets.

Eike Best, Catuscia Palamidessi

Browse the full CONCUR paper archive.