Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report).

Lalita Jategaonkar, Albert R. Meyer

Browse the full ICALP paper archive.