Decidability of split equivalence
Information and Computation
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Generalized Synchronization Languages
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
On the expressiveness of higher dimensional automata
Theoretical Computer Science - Expressiveness in concurrency
Erratum: Erratum to “On the expressiveness of higher dimensional automata”
Theoretical Computer Science
Reversibility and Models for Concurrency
Electronic Notes in Theoretical Computer Science (ENTCS)
Action Refinement in Process Algebra and Security Issues
Logic-Based Program Synthesis and Transformation
Hi-index | 0.01 |