First Page | Document Content | |
---|---|---|
Differential Bisimulation for a Markovian Process Algebra ? Giulio Iacobelli1 , Mirco Tribastone2 , and Andrea Vandin3 1 Computing and Systems Engineering, Federal University of Rio de Janeiro, BrazilDocument is deleted from original location. Download Document from Web Archive |