Fri Jan 2 21:14:29 EST 2015

From actors to dataflow

Let's simplify this into a dataflow network.

Assume that each message send (append to queue) is actually a single
variable store.  I.e. inboxes are dataflow variables.

Not the same model..  There needs to be a receive-multiple primitive
that continues after a set of messages have been received.

It's going off the rails again...

Abstract interpretation can only do scheduling.  All the function
abstractions need to be compiled explicitly to state machines.

I wonder if I'm chasing a ghost here.  Seems so...  Time to let it sit
for a bit.