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

Output details

11 - Computer Science and Informatics

University of Bath

Return to search Previous output Next output

Output 0 of 0 in the submission

Article title

Decidability and syntactic control of interference

Type

D - Journal article

DOI

10.1016/j.tcs.2007.10.045

Title of journal

Theoretical Computer Science

Article number

Volume number

394

Issue number

1-2

First page of article

ISSN of journal

0304-3975

Year of publication

2008

URL

http://dx.doi.org/10.1016/j.tcs.2007.10.045

Number of additional authors

Additional information

<10>This appeared in Theoretical Computer Science (rated 5th journal in the Microsoft Academic Search rankings for algorithms and theory), having been invited for submission based on a conference version which appeared at ICALP (doi 10.1007/11523468_73) (rated 5th conference in the Microsoft rankings for algorithms and theory).

McCusker's work on graph models of imperative computation [Logical Methods in Computer Science Vol. 6 (1:2) 2010] uses some of the key proof ideas developed in this paper.

Interdisciplinary

Cross-referral requested

Research group

A - Mathematical Foundations

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract