Securely Accessing Shared Resources with Concurrent Constraint Programming