Process algebra, process scheduling, and mutual exclusion.

Cornelis A. Middelburg

Published in: CoRR (2020)

Keyphrases

mutual exclusion
long distance
search algorithm
model checking
real time
machine learning
business process