Probabilistic rewrite theories: Unifying models, logics and tools,” University of Illinois at Urbana Champaign (2003)

by K Sen, N Kumar, J Meseguer, G Agha
Venue:in Hybrid Systems: Computation and Control (HSCC 2006), ser. LNCS