Formal semantics

• Kahn process: function from sequences to sequences

F: Sp -> Sq

• Continuity: given chain C

F(LUB(C) = LUB(F(C))

• Implies monotonicity:

  X < X’ => F(X) < F(X’)
  
  • intuitively, outputs cannot be “withdrawn” once they have been produced
  • timeless causality...

Previous slide

Next slide

Back to first slide

View graphic version