Как по мне , они и есть смарт-контрактами только со своей спецификой разработки интелектуальных контрактов. То есть, только механизм создания отличается например от эфирного смарт-контракта.
Вот из их статьи: https://medium.com/@boscoin/smart-contracts-trust-contracts-part-1-83f12dec7641

Платформа BOS нацелена на расширение функциональных возможностей смарт-контрактов, чем в настоящее время в рамках технологий blockchain.

При разработке смарт контрактов могут применяться различные теории, и, как представлено в следующем разделе, многие из них приняли концепцию Turing-complete. Тьюринг завершен из теории вычислительных автоматов, где имеется четыре основных семейства автоматов: конечный автомат; Автоматы выталкивания; Линейно-ограниченные автоматы; и машины Тьюринга.

Платформа BOS использует Timed Automata, расширение конечных автоматов, для разработки Trust Contracts, а также Web Ontology Language; как таковой, для целей настоящей статьи мы сосредоточим наше разделение знаний на концепциях автоматов Turing и конечных автоматов для разработки и функциональности смарт-контрактов, а также касаемся некоторых других более популярных вариантов дизайна.