Skip to content

Executing Temporal Logic Programs.

Ben C. Moszkowski

VenueBCONCUR
Year1984
ProceedingsSeminar on Concurrency

Browse the full CONCUR paper archive.