Derivation of Heard-of Predicates from Elementary Behavioral Patterns.

Adam Shimi, Aurlie Hurault, Philippe Quinnec

Browse the full FORTE paper archive.