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

DOI10.1007/978-3-642-22944-2_31zbMATH Open1344.68169OpenAlexW1864634617MaRDI QIDQ3090885FDOQ3090885

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

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

zbMATH Keywords

Petri netsbisimulationLTSWiCcAwire 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)

Cited In (1)

• On the geometry and algebra of networks with state

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)