Event-State Duality: The Enriched Case
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Proving refinement using transduction
Distributed Computing - Special issue: Verification of lazy caching
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Hi-index | 0.00 |