WiCcA : LTS Generation Tool for Wire Calculus

DOI10.1007/978-3-642-22944-2_31zbMath1344.68169OpenAlexW1864634617MaRDI QIDQ3090885

Paweł Sobociński, Jennifer Lantair

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

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)

Related Items (1)

On the geometry and algebra of networks with state

Uses Software

• WiCcA

This page was built for publication: WiCcA : LTS Generation Tool for Wire Calculus