Actors and Logical Analysis of Interactive Systems | Zendy

Ian A. Mason | Zendy; Carolyn Talcott | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Actors and Logical Analysis of Interactive Systems

Author(s) -

Ian A. Mason,

Carolyn Talcott

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.05.019

Subject(s) - recursion (computer science) , computer science , computability theory , logical framework , theoretical computer science , theory of computation , set (abstract data type) , semantics (computer science) , computation , turing , type theory , theory , programming language , algorithm , type (biology) , ecology , biology

Formalization in a logical theory can contribute to the foundational understanding of interactive systems in two ways. One is to provide language and principles for specification of and reasoning about such systems. The other is to better understand the distinction between sequential (turing equivalent) computation and interactive computation using techniques and results from recursion theory and proof theory. In this paper we briefly review the notion of interaction semantics for actor systems, and report on work in progress to formalize this interaction model. In particular we have shown that the set theoretic models of the formal interaction theory have greater recursion theoretic complexity than analogous models of theories of sequential computation, using a well-known result from recursion theory

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research