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
Producción: Contribución a una revista › Artículo › revisión exhaustiva
9
Citas
(Scopus)