A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes
You are here
| Title | A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Hennessy M |
| Editor | Aceto L, Bacci G, Bacci G, Ingólfsdóttir A, Legay A, Mardare R |
| Conference Name | Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday |
| Publisher | Springer |
| URL | https://doi.org/10.1007/978-3-319-63121-9_22 |
| DOI | 10.1007/978-3-319-63121-9_22 |
