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 |
| Conference Name | Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday |
| Date Published | 07/2017 |
| DOI | 10.1007/978-3-319-63121-9_22 |
