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

S Hallé - 2011 IEEE 15th International Enterprise Distributed …, 2011 - ieeexplore.ieee.org
Interface contracts are sets of constraints specifying valid exchanges of messages between
two or more peers. A contract violation occurs when one of the peers fails to fulfil one of …

[PDF][PDF] Causality in Message-Based Contract Violations: A Temporal Logic “Whodunit”

S Hallé - researchgate.net
Interface contracts are sets of constraints specifying valid exchanges of messages between
two or more peers. A contract violation occurs when one of the peers fails to fulfil one of …

[PDF][PDF] Causality in Message-Based Contract Violations: A Temporal Logic “Whodunit”

S Hallé - academia.edu
Interface contracts are sets of constraints specifying valid exchanges of messages between
two or more peers. A contract violation occurs when one of the peers fails to fulfil one of …

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

S Halle - Proceedings of the 2011 IEEE 15th International …, 2011 - dl.acm.org
Interface contracts are sets of constraints specifying valid exchanges of messages between
two or more peers. A contract violation occurs when one of the peers fails to fulfil one of …

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

S Halle - 2011 IEEE 15th International Enterprise Distributed … - infona.pl
Interface contracts are sets of constraints specifying valid exchanges of messages between
two or more peers. A contract violation occurs when one of the peers fails to fulfil one of …