Book

A logical process calculus

by Rance Cleaveland