WiCcA: LTS generation tool for wire calculus

Authors:
Jennifer Lantair;Paweł Sobociński
Affiliations:
ECS, University of Southampton;ECS, University of Southampton
Venue:
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Year:
2011

Citing 2
Cited 0

CCS expressions, finite state processes, and three problems of equivalence

PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Representations of Petri net interactions

CONCUR'10 Proceedings of the 21st international conference on Concurrency theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.