9 citations · 37 across the 6 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
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…