TAPAs: A Tool for the Analysis of Process Algebras

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]

Abstract

Abstract is missing.