Implementation of causal control operators to detect distributed events

This paper discusses the design and implementation of three operators to control and predicate about causality relation between events in a distributed system. Concretely, we start from KETAL, a kernel conceived to detect patterns of distributed events, and we motivate the need to keep track of caus...