Observational and behavioural equivalences for soft concurrent constraint programming
- Fabio Gadducci
- , Francesco Santini
- , Luis F. Pino
- , Frank D. Valencia
- University of Pisa
- University of Perugia
- University of Cagliari
- LIX École Polytechnique de Paris
Research output: Contribution to journal › Article › peer-review
9
Scopus
citations