11 citations · 27 across the 11 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
cs.LO2008
On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
Roberto Amadio
We propose a notion of convergence-sensitive bisimulation that is built just over the notions of (internal) reduction and of (static) context. In the framework of timed CCS, we cha…
cs.LO2008
On affine usages in signal-based communication
Roberto Amadio, Mehdi Dogguy
We describe a type system for a synchronous pi-calculus formalising the notion of affine usage in signal-based communication. In particular, we identify a limited number of usages…