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, Brazil

First Page		Document Content
Date: 2017-04-12 13:01:12		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, Brazil Add to Reading List Source URL: cse.lab.imtlucca.it Download Document from Source Website File Size: 475,72 KB Share Document on Facebook