9 citations · 37 across the 6 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
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…
cs.FL2014★ 8 cited
An Intensional Concurrent Faithful Encoding of Turing Machines
Thomas Given-Wilson
The benchmark for computation is typically given as Turing computability; the ability for a computation to be performed by a Turing Machine. Many languages exploit (indirect) encod…