TitleA coinductive equational characterisation of trace inclusion for regular processes
Publication TypeConference Paper
Year of Publication2017
AuthorsHennessy M
Conference NameModels, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Date Published07/2017
DOI10.1007/978-3-319-63121-9_22