Vaughan R. Pratt
-
Linear process algebra
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology