Behavior Protocols Capturing Errors and Updates (2003)

by J Adamek, F Plasil
Venue:In Proceedings of the 2 nd International Workshop on Unanticipated Software Evolution