Computing and interaction

DOI10.1007/3-540-34874-3_2MaRDI QIDQ4928698zbMATH OpenOpenAlexFDO

Authors Farhad Arbab

Publication date 18 June 2013

Published in Interactive Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-34874-3_2

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Interactive Computation
• Interaction and Realizability
• Theory of interaction
• Turing Meets Milner
• Computability logic: a formal theory of interaction

Cited in

(4)

• Interactive Computation
• scientific article; zbMATH DE number 1964951 (Why is no real title available?)
• scientific article; zbMATH DE number 2087332 (Why is no real title available?)
• Theory of interaction

This page was built for publication: Computing and interaction

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