Axiomatizing the subsumption and subword preorders on finite and infinite partial words
Theoretical Computer Science
Series and Parallel Operations on Pomsets
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
On Topological Hierarchies of Temporal Properties
Fundamenta Informaticae
Bisimulation Semantics For Concurrency With Atomicity And Action Refinement
Fundamenta Informaticae
Hi-index | 0.00 |