The Expressive Power of Temporal Logic of Actions (Extended Abstract).

Arkadi Estrin, Michael Kaminski

Browse the full CONCUR paper archive.