leastfixedpoint

Archived tweet #9730 from the @leastfixedpoint Twitter Archive
@pradnelluru @joeerl Because assertions aren't messages - they're more like tuples in a tuplespace, or rows in a DB table. An assertion is long-lived, and is placed in a shared space by an actor. The actor may explicitly remove assertions, but when the actor terminates, all its assertions go with it.