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

Anything in here will be replaced on browsers that support the canvas element