Concurrent automata and domains (1992)

by M Droste