Skip to content

Automata and Coinduction (An Exercise in Coalgebra).

Jan J. M. M. Rutten

VenueBCONCUR
Year1998
ProceedingsCONCUR

Browse the full CONCUR paper archive.