An environment for Interactive Service Specification Laboratoire LSR Logiciels Systèmes Réseaux Software, Systems, Networks K. Berkani, R. Cave, S. Coudert,
An environment for Interactive Service Specification