Coinductive Models of Finite Computing Agents (1999)

by Peter Wegner, Dina Goldin
Venue:Proc. Coalgebra Workshop (CMCS ‘99), Electronic Notes in Theoretical Computer Science