Securely Accessing Shared Resources with Concurrent Constraint Programming.

Stefano Bistarelli, Francesco Santini

Browse the full SEFM paper archive.