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

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Lantair, Jennifer; Sobociński, Paweł: WiCcA: LTS generation tool for wire calculus (2011)