Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi. TAPAs: A Tool for the Analysis of Process Algebras. T. Petri Nets and Other Models of Concurrency, 1:54-70, 2008. [doi]
@article{CalzolaiNLT08,
title = {TAPAs: A Tool for the Analysis of Process Algebras},
author = {Francesco Calzolai and Rocco De Nicola and Michele Loreti and Francesco Tiezzi},
year = {2008},
doi = {10.1007/978-3-540-89287-8_4},
url = {http://dx.doi.org/10.1007/978-3-540-89287-8_4},
tags = {process algebra, analysis, algebra},
researchr = {https://researchr.org/publication/CalzolaiNLT08},
cites = {0},
citedby = {0},
journal = {T. Petri Nets and Other Models of Concurrency},
volume = {1},
pages = {54-70},
}