11 citations · 45 across the 11 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2015★ 1 cited
Reversing Single Sessions
Francesco Tiezzi, Nobuko Yoshida
Session-based communication has gained a widespread acceptance in practice as a means for developing safe communicating systems via structured interactions. In this paper, we inves…
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…