Login / Signup
A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes.
Matthew Hennessy
Published in:
Models, Algorithms, Logics and Tools (2017)
Keyphrases
</>
equational theories
three dimensional
theorem proving
database
real time
data sets
trade off
logic programs