Towards Automata for Branching Time and Partial Order.

Michaela Huhn, Peter Niebert

Browse the full CONCUR paper archive.