article · 2011Computation as an unbounded process28 citationsDOI: https://doi.org/10.1016/j.tcs.2011.12.040