research
∙
03/24/2023
Proceedings Twelfth International Workshop on Computing with Terms and Graphs
The workshop TERMGRAPH 2022 took place at Technion in Haifa, Israel, on ...
research
∙
03/15/2023
The Image of the Process Interpretation of Regular Expressions is Not Closed under Bisimulation Collapse
Axiomatization and expressibility problems for Milner's process semantic...
research
∙
09/25/2022
Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions)
Milner (1984) defined a process semantics for regular expressions. He fo...
research
∙
03/17/2022
A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
Milner (1984) defined an operational semantics for regular expressions a...
research
∙
08/30/2021
A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity
By adapting Salomaa's complete proof system for equality of regular expr...
research
∙
12/20/2020
Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions
Milner (1984) introduced a process semantics for regular expressions as ...
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
∙
02/06/2019