David M. Jackson
-
The Algebra of Multi-tasking
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology