Actors and logical analysis of interactive systems

MaRDI QIDQ2863849zbMATH OpenFDO

Authors Ian A. Mason, Carolyn Talcott

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105051923?np=y

zbMATH Keywords

actorsFeferman theoriesinteraction semanticsrecursion theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Applications of computability and recursion theory (03D80) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Interactive foundations of computing
• A theory of system interaction: components, interfaces, and services
• Actor theories in rewriting logic
• A theory of interactive computation
• Composable semantic models for actor theories

Cited in

(3)

• scientific article; zbMATH DE number 1231617 (Why is no real title available?)
• Proof-theoretic foundations for the design of actor systems
• scientific article; zbMATH DE number 897898 (Why is no real title available?)

This page was built for publication: Actors and logical analysis of interactive systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2863849)