research
∙
10/05/2020
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?
Bergstra and Klop have shown that bisimilarity has a finite equational a...
share
research
∙
04/27/2020
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity
Robin Milner (1984) gave a sound proof system for bisimilarity of regula...
research
∙
08/19/2019
