Found 1 results
Filters: Author is Radu Mardare [Clear All Filters]
A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes. Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday.
.
2017.