# Temporal logic of actions

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2009

2009

- International Conference on Networking andâ€¦
- 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

- 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)

Is this relevant?

1999

1999

- J. Log. Comput.
- 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

- MFCS
- 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

- 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

- ACM Trans. Program. Lang. Syst.
- 1994

The temporal logic of actions (TLA) is a logic for specifying and reasoning about concurrent systems. Systems and theirâ€¦Â (More)

Is this relevant?

1994

1994

- TPHOLs
- 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

- ., International Workshop on the HOL Theoremâ€¦
- 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

- CONCUR
- 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

- 1990

DisCo is a specification language for reactive systems, based on the execution model of joint actions. Its main constructs forâ€¦Â (More)

Is this relevant?