1 S. Velilla M. Silva E.A. Puente 1989 The Spy: A mechanism for safe implementation of highly concurrent systems Pergamon Press 75-81