Login / Signup
A Logic for Flow Event Structures.
Jinzhao Wu
Wei Yan
Published in:
CATA (2007)
Keyphrases
</>
logic programming
event driven
spatio temporal
real time
data sets
machine learning
social networks
complex structures
stream processing
classical logic
asynchronous circuits
flow patterns