Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
In software product line engineering, families of similar products are developed instead of single ones. The systems produced as… 
2010
2010
  • Lanying LiXin Wang
  • 2010
  • Corpus ID: 16011219
It’s very important to find an efficient method of secret key management to guarantee secure communication in wireless sensor… 
2009
2009
TLA(Temporal Logic of Actions) and it’s specifying language TLA+ have become an efficient and convenient approach for model… 
2008
2008
In this paper, we provide a logic for digital investigation of security incidents and its high level-specification language. The… 
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… 
2002
2002
It is shown that the satisfiability/validity questions in Temporal Logic of Actions can be translated into satisfiability… 
1999
1999
It is shown that the satisfiability/validity questions in Temporal Logic of Actions can be translated into satisfiability… 
Review
1997
Review
1997
1 Contents The purpose of these notes is to tell a story: to introduce the main ideas in veriication using TLA, and some… 
1996
1996
  • T. Fine
  • 1996
  • Corpus ID: 2428549
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal… 
1994
1994
This article presents a combination of different temporal specification and verification techniques for real time systems. We…