Bisimulation Congruences in the Calculus of Looping Sequences.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Browse the full ICTAC paper archive.