DMCA

Deriving Labels and Bisimilarity for Concurrent Constraint Programming (2010)

by Andrés Aristizábal , Catuscia Palamidessi , Luis Pino , Frank Valencia
Citations:12 - 9 self