## 31 Citations

True versus artificial concurrency

- Computer SciencePSTV
- 1995

Some theoretical issues related to concurrent processed are discussed: formal description of concurrent systems, concurrent systems synchronization, refinement of systems, fairness assumption. These…

Extending Temporal Logic by Explicit Concurrency

- Computer ScienceMFCS
- 1991

The logic has the finite model property and a sound and complete axiomatization and is the first formalism to combine negation with structural operators for sequential and parallel composition.

Model Checking Properties on Reduced Trace Systems

- Computer ScienceAlgorithms
- 2014

This paper interpret a temporal logic over a partial order model that is a trace system that can be completely avoided and a method is presented that keeps the trace system finite, also in the presence of infinite computations.

A Concurrent Branching Time Temporal Logic

- Computer ScienceCSL
- 1989

This paper shows that a computation tree logic (CTL) can be very naturally extended to distinguish concurrency from non — determinism by using a frame of the form (S,R), and proves that CCTL is finitely axiomatizable, decidable and it has the finite model property.

Defining Process Fairness for Non-Interleaving Concurrency

- Computer ScienceFSTTCS
- 1990

The model has been extended with additional structure so that process fairness can be defined, and a variety of decompositions of the system into concurrent sub-processes, partially ordered by a refinement relation, have been derived.

Trace Consistency and Inevitablity

- Computer ScienceFSTTCS
- 1996

It is shown that determining whether a formula is inevitable is undecidable, however, for a subclass of formulas termed coherent (propositions in them can be affected by either of a pair of independent operations but not both), inevitability becomes decidable.

Modelling Reactive Hardware Processes Using Partial Orders

- Computer Science
- 1990

This work presents an approach based on partial-order semantics for abstract specification and composition of reactive hardware processes, and proves the correctness of networks of such processes, by using behavior machines as finite presentations of pomtrees.

Modelling Concurrency with Semi-Commutations

- Computer Science, MathematicsMFCS
- 1992

Ordered semi-commutative monoids are chosen for this purpose; their directed subsets represent processes of concurrent systems and the main one is the diamond property.

## References

SHOWING 1-10 OF 14 REFERENCES

Verification of Concurrent Programs: Temporal Proof Principles

- Computer ScienceLogic of Programs
- 1981

This paper presents proof methods for establishing invariance (safety) and eventuality (liveness) properties of temporal logic in concurrent programs.

Proving Liveness Properties of Concurrent Programs

- Computer ScienceTOPL
- 1982

A formal proof method, based on temporal logic, for deriving liveness properties is presented, which allows a rigorous formulation of simple informal arguments and how to reason with temporal logic and use safety (invariance) properties in proving liveness is shown.

Petri Nets, Event Structures and Domains

- Computer ScienceSemantics of Concurrent Computation
- 1979

The general aim of the paper is to find a theory of concurrency combining the approaches of Petri and Scott, and to connect the abstract ideas of events and domains of information, by showing how causal nets induce certain kinds of domains where the information points are certain sets of events.