Resource traces: a domain for processes sharing exclusive resources
Theoretical Computer Science
The topology of Mazurkiewicz traces
Theoretical Computer Science - Topology in computer science
A projective formalism applied to topological and probabilistic event structures
Mathematical Structures in Computer Science
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Symbolic dynamics, flower automata and infinite traces
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Infinite Traces and Symbolic Dynamics - the Minimal Shift Case
Fundamenta Informaticae
On Topological Hierarchies of Temporal Properties
Fundamenta Informaticae
What topology tells us about diagnosability in partial order semantics
Discrete Event Dynamic Systems
Hi-index | 0.89 |