Rationality in algebras with a series operation
Information and Computation
Decidability of split equivalence
Information and Computation
Valid identity problem for shuffle regular expressions
Journal of Automata, Languages and Combinatorics
Series and Parallel Operations on Pomsets
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Regular binoid expressions and regular binoid languages
Theoretical Computer Science
Varieties generated by languages with poset operations
Mathematical Structures in Computer Science
Theoretical Computer Science
CCS with Hennessy's merge has no finite-equational axiomatization
Theoretical Computer Science - Expressiveness in concurrency
Theoretical Computer Science
Synchronized Shuffle on Backbones
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Infinite unfair shuffles and associativity
Theoretical Computer Science
European Journal of Combinatorics
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae
On locality and the exchange law for concurrent processes
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Algebra, logic, locality, concurrency
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Algebra, logic, locality, concurrency
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae
Synchronized Shuffle on Backbones
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
The saga of the axiomatization of parallel composition
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
The type discipline of behavioral separation
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hi-index | 5.23 |