Back to Results
First PageMeta 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, Brazil
Add to Reading List

Document Date: 2017-04-12 13:01:12


Open Document

File Size: 475,72 KB

Share Result on Facebook
UPDATE