Concurrencies in Reversible Concurrent Calculi.

Clément Aubert

Published in: RC (2022)

Keyphrases

markov chain
cellular automata
mutual exclusion
sequent calculi
concurrent execution
artificial intelligence
computer vision
artificial neural networks
qualitative spatial and temporal reasoning