Login / Signup

The Concurrent Calculi Formalisation Benchmark.

Marco CarboneDavid Castro-PerezFrancisco FerreiraLorenzo GheriFrederik Krogsdal JacobsenAlberto MomiglianoLuca PadovaniAlceste ScalasDawit Legesse TiroreMartin VassorNobuko YoshidaDaniel Zackon
Published in: COORDINATION (2024)
Keyphrases
  • formal analysis
  • real world
  • databases
  • hierarchical reinforcement learning
  • benchmark suite
  • database
  • case study
  • image segmentation
  • search algorithm
  • comparative analysis
  • formal methods
  • mutual exclusion