Interleaving: A modelling concept representing concurrent operations as sequential executions to study their combined behaviours, utilising various scheduling strategies.

Research in this field explores both the theoretical underpinnings and the practical implications of these models, providing crucial insights into the design of programming languages, compilers ...