Invariants in Process Algebra with Data.

Marc Bezem, Jan Friso Groote

Browse the full CONCUR paper archive.