Vaughan R. Pratt
-
Detecting causal relationships in distributed computations: in search of the holy grail
Distributed Computing
Linear process algebra
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology