Login / Signup

In search of lost time: Axiomatising parallel composition in process algebras.

Luca AcetoElli AnastasiadiValentina CastiglioniAnna IngólfsdóttirBas 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