Three-valued asynchronous distributed runtime verification.

Torben Scheffel, Malte Schmitz

Browse the full MEMOCODE paper archive.