Models of computation

DOI10.1007/978-3-319-42900-7zbMath1480.68001OpenAlexW2494236442MaRDI QIDQ1625203

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

Related Items

Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract)