Разработка языков, сред выполнения и консенсуса для агентов, которым нужны постоянное состояние, явные полномочия и проверяемое исполнение. От команды, создающей ALUX.