Полной разработки соответствующей теории вплоть до получения завершающих формул здесь дано не будет. Единственное, что можно здесь сделать, - это поставить несколько задач и дать их решения. А при обсуждении мы будем стараться по мере возможности придерживаться систематического подхода, чтобы в дальнейшем изложении сразу выявлять относящиеся к вопросу понятия.

http://khpi-iip.mipk.kharkiv.edu/library/extent/dijkstra/ewd123/index.html пытаюсь осилить - стоит ли продолжать - как то всё слишком в теории - если кто прочитал ,подскажите поможет ли прочтение её разобраться с многозадачностью - или это только чистая теория