言語とバイトコードの実行、プロセス協調、権限境界、永続的な実行パターン、分散合意に関する技術を扱い、その知見をエンジニアリングに生かしています。個々のシステムは、それぞれの要件と導入環境に照らして検討します。