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

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

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)

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

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)