Executing Temporal Logic: Review and Prospects (Abstract).

Howard Barringer, Dov M. Gabbay

Browse the full CONCUR paper archive.