A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logic.

Ammar Attoui, David R. C. Hill

Browse the full ISSRE paper archive.