Hector Miguel Chavez Western Michigan University.
Algebra
A logic for true concurrency Paolo Baldan and Silvia Crafa Universita’ di Padova.