Albert Benveniste, Benoit Caillaud, Paul Le Guernic
Здесь представлено глубокое обсуждение отношений между синхронностью и асинхронностью. Представлены простые модели обеих парадигм, заявлены теоремы, гарантирующие корректную десинхронизацию, означающую, что из результата этой десинхронизации может быть восстановлена изначальная синхронная семантика. Приводятся теоремы для десинхронизации отдельных синхронных программ и для сетей синхронных программ, которые могут быть выполнены с использованием асинхронной связи. Предположения для этих теорем могут быть элементарно доказаны и проверены на исходных синхронных проектах. Если соответствующие условия не выполняются, вместе с первоначальными программами могут быть скомпонованы подходящие синхронные минипрограммы, которые будут гарантировать корректную десинхронизацию. Это может выглядеть как систематический способ производить «корректные протоколы» для асинхронного распределения синхронного проектирования. Был осуществлен целостный подход в структуре проекта SCARES в пределах средств SILDEX, маркированный как TNI, как в компиляторе SIGNAL.