On topological characterization of behavioural properties

Authors:
Marta Z. Kwiatkowska
Affiliations:
-
Venue:
Topology and category theory in computer science
Year:
1991

Citing 0
Cited 4

Defining fairness

CONCUR 2005 - Concurrency Theory
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems

Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Defining Fairness in Reactive and Concurrent Systems

Journal of the ACM (JACM)
On Topological Hierarchies of Temporal Properties

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract