Duality for labelled Markov processes (2004)

by Michael Mislove , Joël Ouaknine , Dusko Pavlovic , James Worrell
Venue:In Proceedings of FOSSACS 04, volume 2987 of LNCS
Citations:10 - 1 self