FInCo 2007 AGAPIA v0.1: A programming language for interactive systems and its typing system

Abstract A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming and reasoning about interactive computing systems have been recently introduced by Stefanescu using register machines and space-time duality, se