• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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