Some Finite-Graph Models for Process Algebra.

Paul Spruit, Roel J. Wieringa

Browse the full CONCUR paper archive.