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)

Related topics

Related topics

8 relations
Concurrency (computer science)Dynamic logic (modal logic)List of model checking toolsOpenComRTOS

Broader (1)

Temporal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Specifying system families with TLA
In software product line engineering, families of similar products are developed instead of single ones. The systems produced as… 
2010
2010
A High Security Dynamic Secret Key Management Scheme for Wireless Sensor Networks
  • Lanying LiXin Wang
  • Third International Symposium on Intelligent…
  • 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
Description and Analysis of Fairness on Temporal Logic of Actions
TLA(Temporal Logic of Actions) and it’s specifying language TLA+ have become an efficient and convenient approach for model… 
2008
2008
A Formal Approach for the Reconstruction of Potential Attack Scenarios
In this paper, we provide a logic for digital investigation of security incidents and its high level-specification language. The… 
2005
2005
Towards a mobile temporal logic of actions
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
The Expressive Power of Temporal Logic of Actions
It is shown that the satisfiability/validity questions in Temporal Logic of Actions can be translated into satisfiability… 
1999
1999
The Expressive Power of Temporal Logic of Actions (Extended Abstract)
It is shown that the satisfiability/validity questions in Temporal Logic of Actions can be translated into satisfiability… 
Review
1997
Review
1997
Using The Temporal Logic of Actions: A Tutorial on TLA Verification
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
Defining noninterference in the temporal logic of actions
  • T. Fine
  • Proceedings IEEE Symposium on Security and…
  • 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
Combining Temporal Specification Techniques
This article presents a combination of different temporal specification and verification techniques for real time systems. We… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)