Turing Meets Milner

DOI10.1007/978-3-642-32940-1_1MaRDI QIDQ2914361zbMATH OpenOpenAlexFDO

Authors Bas Luttik, Paul van Tilburg, Jos C. M. Baeten

Publication date 25 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32940-1_1

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Turing meets Schanuel
• Turing
• Turing is among us
• scientific article; zbMATH DE number 6823180
• A Turing enigma
• scientific article; zbMATH DE number 5251036
• Turing: the great unknown
• scientific article; zbMATH DE number 4072919
• scientific article; zbMATH DE number 5064392
• scientific article; zbMATH DE number 1909820

Cited in

(5)

• Turing meets Schanuel
• Reactive Turing machines
• Computing and interaction
• Sequential composition in the presence of intermediate termination (extended abstract)
• scientific article; zbMATH DE number 7243676 (Why is no real title available?)

This page was built for publication: Turing Meets Milner

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