8 citations · 14 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2011
A Testing Framework for P Systems
Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini +2
Testing equivalence was originally defined by De Nicola and Hennessy in a process algebraic setting (CCS) with the aim of defining an equivalence relation between processes being l…
cs.LO2009★ 3 cited
Explicit fairness in testing semantics
D. Cacciagrano, F. Corradini, C. Palamidessi
In this paper we investigate fair computations in the pi-calculus. Following Costa and Stirling's approach for CCS-like languages, we consider a method to label process actions in…