Fully Abstract Models for Nondeterministic Regular Expressions.

Flavio Corradini, Rocco De Nicola, Anna Labella

Browse the full CONCUR paper archive.