Coinductive Models of Finite Computing Agents

@article{coind-agents99,
   apice = {CoindAgentsCmcs99},
   author = {Wegner, Peter and Goldin, Dina},
   journal = {Electronic Notes in Theoretical Computer Science},
   number = 0,
   pages = {81--101},
   title = {Coinductive Models of Finite Computing Agents},
   volume = 19,
   year = 1999
}