Login / Signup
An Equational Modeling of Asynchronous Concurrent Programming.
David Janin
Published in:
TFP (2020)
Keyphrases
</>
concurrent programming
databases
data model
modeling method