AG
в конкуррентной интерпретации A ⅋ B обычно рассматривается как "запустить одновременно А и B на разных тредах"
смысл там примерно такой:
A⊗B - тебе дают А и B
A&B - тебе дают A или B на выбор
A⊕B - тебе дают A или B без выбора (т.е. выбор за дающим)
A⅋B - в одной из версий реальности ты получаешь A, во второй B
