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

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 475,72 KB