\textsc{WiCcA}: LTS generation tool for wire calculus

DOI10.1007/978-3-642-22944-2_31MaRDI QIDQ3090885zbMATH OpenOpenAlexFDO

Authors Jennifer Lantair, Paweł Sobociński

Publication date 2 September 2011

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22944-2_31

zbMATH Keywords

bisimulationLTSPetri netsWiCcAwire calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The LTS workbench
• PIC2LNT: model transformation for model checking an applied pi-calculus
• Synthesising CCS bisimulation using graph rewriting
• Labelled transitions for mobile ambients (as synthesized via a graphical encoding)
• MoTraS: a tool for modal transition systems and their extensions

Cited in

(1)

• On the geometry and algebra of networks with state

Describes a project that uses

Uses Software

• WiCcA

This page was built for publication: \textsc{WiCcA}: LTS generation tool for wire calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3090885)