Conor Power
Results
4
issues of
Conor Power
- [ ] How to implement a CRDT in Hydroflow+ (Some support needed?) - [ ] Incrementalization (Some support needed?) - [x] Pushing operators before joins or pulling them above...
lattices/properties
- [ ] Launch a set of nodes with distinct roles (hydro deploy?/Hydroflow+? currently supports) - [ ] Organize the nodes into a topology of communication (Hydroflow+ currently supports?) -...
temporal logic is one possible interface. Details TBD.
testing
simulator