2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.SE2011★ 1 cited
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems
Laura Kovacs, Rosario Pugliese, Francesco Tiezzi
This volume contains the final and revised versions of the papers presented at the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011).…
cs.LO2010★ 2 cited
A criterion for separating process calculi
Federico Banti, Rosario Pugliese, Francesco Tiezzi
We introduce a new criterion, replacement freeness, to discern the relative expressiveness of process calculi. Intuitively, a calculus is strongly replacement free if replacing, wi…