Bisimulation Congruences in the Calculus of Looping Sequences

Lecture Notes in Computer Science - Theoretical Aspects of Computing - ICTAC 2006 ◽

10.1007/11921240_7 ◽

2006 ◽

pp. 93-107 ◽

Cited By ~ 8

Author(s):

Roberto Barbuti ◽

Andrea Maggiolo-Schettini ◽

Paolo Milazzo ◽

Angelo Troina

Download Full-text