You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Edinburgh » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Edinburgh

Return to search Previous output Next output

Output 0 of 0 in the submission

Article title

Computability structures, simulations and realizability

Type

D - Journal article

DOI

10.1017/S0960129513000182

Title of journal

Mathematical Structures in Computer Science

Article number

Volume number

n/a

Issue number

n/a

First page of article

ISSN of journal

1469-8072

Year of publication

2013

URL

http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=8933668

Number of additional authors

Additional information

<10> Originality: This paper establishes a mathematical framework for expressing the idea, ubiquitous throughout computer science, that one model of computation can be "simulated" by another. For the first time, it offers a definition of simulation embracing key examples from programming languages, concurrency, automata theory, lambda calculus, domain theory and game semantics.

Significance: The work potentially provides a roadmap within which a wide range of results from across computer science may be situated, bringing clarity and organization to the subject.

Rigour: Full mathematical proofs are included. Key theorems provide evidence for the framework's mathematical credentials, and illustrative examples are given.

Interdisciplinary

Cross-referral requested

Research group

F - Laboratory for Foundations of Computer Science

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract