Temporal logic and causality in concurrent systems

Authors:
Wolfgang Reisig
Affiliations:
GMD, St. Augustin, W. Germany
Venue:
International Conference on Concurrency on Concurrency 88
Year:
1988

Citing 0
Cited 4

True Concurrency in Models of Asynchronous Circuit Behavior

Formal Methods in System Design
Causality and atomicity in distributed computations

Distributed Computing
Verification of distributed programs using representative interleaving sequences

Distributed Computing
Detecting causal relationships in distributed computations: in search of the holy grail

Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract