9 citations · 37 across the 6 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2015★ 7 cited
On the Expressiveness of Joining
Thomas Given-Wilson, Axel Legay
The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchrono…
cs.LO2014★ 9 cited
On the Expressiveness of Intensional Communication
Thomas Given-Wilson
The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchrono…
cs.LO2014★ 4 cited
Expressiveness via Intensionality and Concurrency
Thomas Given-Wilson
Computation can be considered by taking into account two dimensions: extensional versus intensional, and sequential versus concurrent. Traditionally sequential extensional computat…