Causality in Message-Based Contract Violations: A Temporal Logic "Whodunit".

Sylvain Hall

Browse the full EDOC paper archive.