activity
20162026
most citedWireless Security with Beamforming Technique

1 citations · 1 across the 7 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.LO2023

Image Reflection on Process Graphs -- A Novel Approach for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity

Yuanrui Zhang, Xinxin Liu

We analyze a phenomenon called ``image reflection'' on a type of characterization graphs -- LLEE charts -- of 1-free regular expressions. Due to the correspondence between 1-free r…