An Elimination Theorem for Regular Behaviours with Integration.

Wan J. Fokkink

Browse the full CONCUR paper archive.