SpanTools 1.0
SpanTools è un'applicazione open source che può controllare e definire sistemi, che sono espressi come reti di oggetti con transizioni e stati.. SpanTools è in grado di valutare CoSpan (monoidale grafico) espressioni, così come per il calcolo grafico...