Dynamic Bisimilarity for Reconfigurable and Mobile Systems Via Tile Logic

Cached

Download Links

by Roberto Bruni , Ugo Montanari , Vladimiro Sassone