DMCA

Up-to Techniques for Weak Bisimulation

Cached

Download Links

by École Normale , Supérieure Lyon , Damien Pous Avril , École Normale , Supérieure Lyon , Damien Pous