37 citations · 105 across the 15 of their papers we have counts for
1 paper · 1 filter
Clément Aubert, Jean Krivine
Causality serves as an abstract notion of time for concurrent systems. A computation is causal, or simply valid, if each observation of a computation event is preceded by the obser…