Iteration theories of synchronization trees

Floyd-Hoare logic in iteration theories

Journal of the ACM (JACM)

The Equational Theory of Fixed Points with Applications to Generalized Language Theory

DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory

Nondeterministic regular expressions as solutions of equational systems

Theoretical Computer Science

Algebraic synchronization trees and processes

ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II

PROCESSES WITH MULTIPLE ENTRIES AND EXITS MODULO ISOMORPHISM AND MODULO BISIMULATION

Fundamenta Informaticae

A Connection Between Concurrency and Language Theory

Electronic Notes in Theoretical Computer Science (ENTCS)