SpanTools 1.0
SpanTools е приложение с отворен код, който може да се провери и да се определят системите, които са изразени като мрежи на обекти с преходи и състояния.. SpanTools може да оценява Cospan (Monoidal графика) изрази, както и за изчисляване на monoidal...