Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design.

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

Browse the full ICDCS paper archive.