Deriving Labels and Bisimilarity for Concurrent Constraint ProgrammingAndrés Felipe Aristizábal-Pachón, Frank Valencia, Filippo Bonchi et al.|Lecture notes in computer science|2011Cited by 27