Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation.

Gourinath Banda, John P. Gallagher

Browse the full LPAR paper archive.