wan-fokkink documents

Simplifying Itai-Rodeh Leader Election for Anonymous Rings
Documents Simplifying Itai-Rodeh Leader Election for Anonymous Rings
Compositionality of Hennessy–Milner logic by structural operational semantics
Documents Compositionality of Hennessy–Milner logic by structural operational semantics
Unification for infinite sets of equations between finite terms
Documents Unification for infinite sets of equations between finite terms
Termination modulo equations by abstract commutation with an application to iteration
Documents Termination modulo equations by abstract commutation with an application to iteration
Language preorder as a precongruence
Documents Language preorder as a precongruence
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity
Documents Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity
Introduction to Process Algebra
Documents Introduction to Process Algebra
Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Documents Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)