Replications in Reversible Concurrent Calculi.

Clément Aubert

Published in: RC (2023)

Keyphrases

cellular automata
markov chain
mutual exclusion
concurrent execution
concurrent programs
sequent calculi
qualitative spatial and temporal reasoning
computer vision