Sign in

The correctness of concurrencies in (reversible) concurrent calculi.

Clément Aubert
Published in: J. Log. Algebraic Methods Program. (2024)
Keyphrases
  • concurrent execution
  • markov chain
  • cellular automata
  • concurrent programs
  • sequent calculi
  • real world
  • mutual exclusion
  • data sets
  • decision making
  • search algorithm
  • reasoning problems