Temporal logic of actions

Known as: TLA 
Temporal logic of actions (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions.It is used to describe… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
TLA(Temporal Logic of Actions) and it’s specifying language TLA+ have become an efficient and convenient approach for model… (More)
Is this relevant?
2005
2005
In this thesis we present a novel approach to the specification of mobile systems. By mobile system we mean a system that makes… (More)
  • figure 2.1
  • figure 2.2
  • figure 2.4
  • figure 2.5
  • figure 3.3
Is this relevant?
1999
1999
It is shown that a stutter-invariant property is expressible in Temporal Logic of Actions if and only if it is expressible in… (More)
Is this relevant?
1998
1998
The paper compares the expressive power of monadic second order logic of order, a fundamental formalism in mathematical logic and… (More)
Is this relevant?
1996
1996
  • Todd Fine
  • IEEE Symposium on Security and Privacy
  • 1996
Abstract: Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
The temporal logic of actions (TLA) is a logic for specifying and reasoning about concurrent systems. Systems and their… (More)
  • figure 1
  • figure 2
Is this relevant?
1994
1994
We describe an attempt to formalise the semantics of the Temporal Logic of Actions (TLA) by means of the HOL theorem prover… (More)
Is this relevant?
1991
1991
A n attempt to mechanise reasoning about concurrent algorithms is described. The HOY, theorem prover is used i o formalise the… (More)
Is this relevant?
1990
1990
Lamport recently invented a temporal logic of actions suitable for expressing concurrent programs and for reasoning about their… (More)
Is this relevant?
1990
1990
DisCo is a specification language for reactive systems, based on the execution model of joint actions. Its main constructs for… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?