An Equational Characterisation of the Must Testing Pre-order for Regular Processes

Models, Languages, and Tools for Concurrent and Distributed Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-21485-2_3 ◽

2019 ◽

pp. 15-27

Author(s):

Matthew Hennessy

Download Full-text