Towards automata for branching time and partial order (1996)

by M Huhn, P
Venue:Proc. of CONCUR'96, LNCS 1119