Richard Mayr
-
The regular viewpoint on PA-processes
Theoretical Computer Science
Model Checking of Component Protocol Conformance -- Optimizations by Reducing False Negatives
Electronic Notes in Theoretical Computer Science (ENTCS)