observability of basic events during computation in context and has been applied to
many languages, including models of functional programming such as the λ-calculus
[2] and PCF [25], concurrent languages such as the π-calculus [10], and object-oriented
languages such as the σ-calculus [17].