Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,728,529 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Concurrency (computer science)
Dynamic logic (modal logic)
List of model checking tools
OpenComRTOS
Expand
Broader (1)
Temporal logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
A High Security Dynamic Secret Key Management Scheme for Wireless Sensor Networks
Lanying Li
,
Xin 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…
Expand
2009
2009
Description and Analysis of Fairness on Temporal Logic of Actions
Juntao Li
,
Zhengyi Tang
,
Xiang Li
International Conference on Networking and…
2009
Corpus ID: 29251805
TLA(Temporal Logic of Actions) and it’s specifying language TLA+ have become an efficient and convenient approach for model…
Expand
2008
2008
A Formal Approach for the Reconstruction of Potential Attack Scenarios
S. Rekhis
,
N. Boudriga
3rd International Conference on Information and…
2008
Corpus ID: 15065023
In this paper, we provide a logic for digital investigation of security incidents and its high level-specification language. The…
Expand
2005
2005
Towards a mobile temporal logic of actions
J. Zappe
2005
Corpus ID: 35467231
In this thesis we present a novel approach to the specification of mobile systems. By mobile system we mean a system that makes…
Expand
Review
2004
Review
2004
Using temporal logics for modeling and analysis of workflows
Y. Wang
,
Yushun Fan
IEEE International Conference on E-Commerce…
2004
Corpus ID: 9224727
A method for modeling and analyzing workflows based on Temporal Logic of Actions is presented. After a brief review of TLA…
Expand
2002
2002
The Expressive Power of Temporal Logic of Actions
A. Estrin
,
M. Kaminski
Journal of Logic and Computation
2002
Corpus ID: 1100939
It is shown that the satisfiability/validity questions in Temporal Logic of Actions can be translated into satisfiability…
Expand
1999
1999
The Expressive Power of Temporal Logic of Actions (Extended Abstract)
A. Estrin
,
M. Kaminski
International Conference on Concurrency Theory
1999
Corpus ID: 31224659
It is shown that the satisfiability/validity questions in Temporal Logic of Actions can be translated into satisfiability…
Expand
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…
Expand
1995
1995
On the Satisfiability Problem for Lamport's Propositional Temporal Logic of Actions and Some of Its Extensions
Y. S. Ramakrishna
Fundamenta Informaticae
1995
Corpus ID: 41927663
The Temporal Logic of Actions (TLA) devised by Lamport is a logic for proving the correctness of concurrent systems. A…
Expand
1994
1994
Combining Temporal Specification Techniques
M. Sørensen
,
Odd Erik Hansen
,
H. Løvengreen
International Conference on Temporal Logic
1994
Corpus ID: 43433701
This article presents a combination of different temporal specification and verification techniques for real time systems. We…
Expand
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)
ACCEPT & CONTINUE