Login / Signup
A Formal Model for Direct-style Asynchronous Observables.
Philipp Haller
Heather Miller
Published in:
CoRR (2015)
Keyphrases
</>
formal model
formal models
data sets
predicate calculus
security patterns
online discussion
security properties
real time
learning algorithm
life cycle
content analysis
asynchronous communication