Formal semantics

• “Behavior” of process network defined as fix point

  • continuity (monotonicity) implies determinacy

• “Canonical” non-monotonic process: fair merge

Previous slide

Next slide

Back to first slide

View graphic version