Cited By
View all- Bistarelli SSantini F(2024)Local Spaces in Soft Concurrent Constraint Programming Oriented to SecurityLeveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola10.1007/978-3-031-73709-1_23(373-391)Online publication date: 27-Oct-2024
- Bussi LGadducci FSantini F(2022)Soft Concurrent Constraint Programming with Local VariablesCoordination Models and Languages10.1007/978-3-031-08143-9_10(159-177)Online publication date: 13-Jun-2022
- Dokter KGadducci FLion BSantini F(2021)Soft constraint automata with memoryJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2020.100615118(100615)Online publication date: Jan-2021
- Show More Cited By