#### Filter Results:

- Full text PDF available (11)

#### Publication Year

2008

2018

- This year (4)
- Last 5 years (14)
- Last 10 years (19)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Thomas Given-Wilson, Barry Jay
- J. Symb. Log.
- 2011

Traditional combinatory logic uses combinators S and K to represent all Turing-computable functions on natural numbers, but there are Turing-computable functions on the combinators themselves thatâ€¦ (More)

- Thomas Given-Wilson, Daniele Gorla, Barry Jay
- IFIP TCS
- 2010

Concurrent pattern calculus drives interaction between processes by unifying patterns, just as sequential pattern calculus drives computation by matching a pattern against a data structure. Byâ€¦ (More)

- Thomas Given-Wilson, Daniele Gorla, Barry Jay
- Logical Methods in Computer Science
- 2014

Concurrent pattern calculus (CPC) drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising from pattern matching toâ€¦ (More)

- Thomas Given-Wilson, Daniele Gorla
- COORDINATION
- 2013

Concurrent Pattern Calculus (CPC) is a minimal calculus whose communication mechanism is based on a powerful form of symmetric pattern unification. However, the richness of patterns and theirâ€¦ (More)

- Thomas Given-Wilson
- ICTAC
- 2014

Computation can be considered by taking into account two dim ensions: extensional versus intensional, and sequential ver sus concurrent. Traditionally sequential extensional computation can beâ€¦ (More)

- Thomas Given-Wilson
- EXPRESS/SOS
- 2014

The expressiveness of communication primitives has been ex plored in a common framework based on theÏ€-calculus by considering four features: ynchronism(asynchronous vs synchronous), arity (monadic vsâ€¦ (More)

- Thomas Given-Wilson, Axel Legay
- ICE
- 2015

The expressiveness of communication primitives has been explored in a common framework based on the Ï€-calculus by considering four features: synchronism (asynchronous vs synchronous), arity (monadicâ€¦ (More)

- Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck
- Electr. Notes Theor. Comput. Sci.
- 2012

Static source code analysis for software bug detection has come a long way since its early beginnings as a compiler technology. However, with the introduction of more sophisticated algorithmicâ€¦ (More)

- Thomas Given-Wilson, Axel Legay
- ICTAC
- 2016

- Thomas Given-Wilson
- ICE
- 2014

The benchmark for computation is typically given as Turing c omputability; the ability for a computation to be performed by a Turing Machine. Many languages ex ploit (indirect) encodings of Turingâ€¦ (More)