An Algebraic Framework to Reason About Concurrency (Invited Talk).

Alexandra Silva

Published in: FSTTCS (2019)

Keyphrases

invited talk
main contribution
theoretical framework
databases
real world
data model
probabilistic model
lightweight
conceptual framework