Concurrent Process Equivalences: Some Decision Problems (Abstract).

Albert R. Meyer

Browse the full STACS paper archive.