12 citations · 88 across the 34 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Unique Parallel Decomposition for the Pi-calculus
Matias David Lee, Bas Luttik
A (fragment of a) process algebra satisfies unique parallel decomposition if the definable behaviours admit a unique decomposition into indecomposable parallel components. In this…
cs.LO2016
On the Executability of Interactive Computation
Bas Luttik, Fei Yang
The model of interactive Turing machines (ITMs) has been proposed to characterise which stream translations are interactively computable; the model of reactive Turing machines (RTM…