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 1 article )
Showing result 1 of 1.