DMCA

Revisiting Bisimilarity and its Modal Logic for Nondeterministic and Probabilistic Processes

Cached

Download Links

by Marco Bernardo , Rocco De Nicola , Michele Loreti
Venue:ACTA INFORMATICA
Citations:2 - 1 self