interactive computation

mathematical model for computation that involves input/output communication with the external world