A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence.

Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone

Browse the full CONCUR paper archive.