Computational structure for ensuring that computational events happen in a specific, logical order