Concurrent automata and domains (1992)

by M Droste
Venue:International Journal of Foundations of Computer Science