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