Lantair, Jennifer; Sobociński, Paweł WiCcA: LTS generation tool for wire calculus. (English) Zbl 1344.68169 Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 407-412 (2011). Summary: 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.For the entire collection see [Zbl 1221.68011]. Cited in 1 Document MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:wire calculus; Petri nets; LTS; bisimulation; WiCcA Software:WiCcA PDFBibTeX XMLCite \textit{J. Lantair} and \textit{P. Sobociński}, Lect. Notes Comput. Sci. 6859, 407--412 (2011; Zbl 1344.68169) Full Text: DOI