Login / Signup
An Equational Characterisation of the Must Testing Pre-order for Regular Processes.
Matthew Hennessy
Published in:
Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Keyphrases
</>
data mining
machine learning
website
case study
image sequences
natural language
evolutionary algorithm
business processes
process model
theorem proving