Logic for concurrency and synchronisation - Queiroz, Ruy J. G. B. de (Trends in logic ;, 2003)