Login / Signup

An Equational Modeling of Asynchronous Concurrent Programming.

David Janin
Published in: TFP (2020)
Keyphrases
  • concurrent programming
  • databases
  • data model
  • modeling method