The Expressive Power of Temporal Logic of Actions (Extended Abstract). - Arkadi Estrin; Michael Kaminski (CONCUR, 1999)

The Expressive Power of Temporal Logic of Actions. - Arkadi Estrin; Michael Kaminski (J. Log. Comput., 2002)