12 citations · 88 across the 34 of their papers we have counts for
Showing 2011 · cs.LOShow all
2 papers · 2 filters
cs.LO2011
Proceedings 18th International Workshop on Expressiveness in Concurrency
Bas Luttik, Frank Valencia
This volume contains the proceedings of the 18th International Workshop on Expressiveness in Concurrency (EXPRESS 2011), which took place on 5th September 2011 in Aachen, as a sate…
cs.LO2011★ 3 cited
Reactive Turing Machines
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
We propose reactive Turing machines (RTMs), extending classical Turing machines with a process-theoretical notion of interaction, and use it to define a notion of executable transi…