Models of computation

DOI10.1007/978-3-319-42900-7MaRDI QIDQ1625203zbMATH OpenOpenAlexFDO

Authors Roberto Bruni, Ugo Montanari

Publication date 28 November 2018

Published in Texts in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-42900-7

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Classical models of computation (Turing machines, etc.) (68Q04) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Models of computation. An introduction to computability theory
• Formal models of computation. The ultimate limits of computing
• Modern Language Models and Computation
• scientific article; zbMATH DE number 4088936
• Set-theoretic models of computations

Cited in

(21)

• Models of computation. An introduction to computability theory
• Natural computation and non-Turing models of computation
• Mobile computation with functions
• Monoidal computer. III: A coalgebraic view of computability and complexity (extended abstract)
• Some thoughts on computational models: from massive human computing to abstract state machines, and beyond
• Formal models of computation. The ultimate limits of computing
• scientific article; zbMATH DE number 1731510 (Why is no real title available?)
• Set-theoretic models of computations
• A visual model of computation
• scientific article; zbMATH DE number 3932375 (Why is no real title available?)
• scientific article; zbMATH DE number 4030982 (Why is no real title available?)
• On the use of computation in modelling behaviour
• scientific article; zbMATH DE number 1760031 (Why is no real title available?)
• scientific article; zbMATH DE number 7340320 (Why is no real title available?)
• Computable Models
• scientific article; zbMATH DE number 6292628 (Why is no real title available?)
• Model-based computation
• Mathematical model of stored logic based computation
• Imperative process algebra and models of parallel computation
• Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
• Computability of homogeneous models

This page was built for publication: Models of computation

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