DMCA

Revisiting trace and testing equivalences for nondeterministic and probabilistic processes (2012)

by Marco Bernardo , Rocco De Nicola , Michele Loreti
Venue:In Proc. of the 15th Int. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2012), volume 7213 of LNCS
Citations:5 - 3 self