Causality for free!: parametricity implies causality for functional reactive programs
A Universal Modular ACTOR Formalism for Artificial Intelligence