19 citations · 40 across the 4 of their papers we have counts for
4 papers
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…
A Concurrent Pattern Calculus
Thomas Given-Wilson, Daniele Gorla, Barry Jay
Concurrent pattern calculus (CPC) drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising from pa…
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…
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…