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