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, BrazilAdd to Reading ListSource URL: cse.lab.imtlucca.itDownload Document from Source WebsiteFile Size: 475,72 KBShare Document on Facebook |