SpanTools 1.0
SpanTools ist ein Open Source-Anwendung, die überprüfen können, und definieren Systemen, die als Netzwerke von Produkten mit Übergängen und Staaten zum Ausdruck gebracht werden.. SpanTools kann Cospan (monoidal Graph) Ausdrücke, aber auch, um die monoidal...