Actor Composition: Patterns and Strategies

Related lectures (32)

Explores properties of relations, monotonicity, semantics of local variables, and translation in programs.

Covers the properties of the integral on S-up, including linearity and monotony.