Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs.

Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough

Browse the full SAS paper archive.