A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves.

Tomasz Brengos

Browse the full CONCUR paper archive.