Title: A mathematical theory of synchronous concurrent algorithms