Styx

Runtime federado de medios. Esta documentación es un contrato: cada página dice a qué nodo, gate y decisión está atada y si lo que describe está especificado, implementado o verificado.