Local Spaces in Soft Concurrent Constraint Programming Oriented to Security.

Stefano Bistarelli, Francesco Santini

Browse the full ISoLA paper archive.