Jump to Content

An Axiomatization of Lamport's Temporal Logic of Actions

CONCUR (1990), pp. 57-69

Abstract

Research Areas