WiCcA: LTS generation tool for wire calculus. We introduce the WIre CalCulus Application (WiCcA), a tool for generating and operating on labelled transition systems (LTS) that result from wire-calculus specifications. The theory behind WiCcA is explained and its uses demonstrated.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Sabadini, N.; Schiavio, F.; Walters, R.F.C.: On the geometry and algebra of networks with state (2017)
- Lantair, Jennifer; Sobociński, Paweł: WiCcA: LTS generation tool for wire calculus (2011)