Login / Signup
In search of lost time: Axiomatising parallel composition in process algebras.
Luca Aceto
Elli Anastasiadi
Valentina Castiglioni
Anna Ingólfsdóttir
Bas Luttik
Published in:
LICS (2021)
Keyphrases
</>
search algorithm
search space
search strategy
parallel search
search strategies
real time
machine learning
website
development process
parallel processing
depth first search