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

Output details

11 - Computer Science and Informatics

De Montfort University

Return to search Previous output Next output

Output 51 of 104 in the submission

Output title

Formalising of Transactional Memory Using Interval Temporal Logic (ITL)

Type

E - Conference contribution

DOI

10.1109/SCET.2012.6342060

Name of conference/published proceedings

2012 Spring World Congress on Engineering and Technology (S-CET 2012)

Volume number

Issue number

First page of article

ISSN of proceedings

Year of publication

2012

URL

Number of additional authors

Additional information

<01> The model was added to the AnaTempura tool for the runtime verification of systems using ITL's executable subset (see http://www.tech.dmu.ac.uk/STRL/ITL).

Interdisciplinary

Cross-referral requested

Research group

D - Software Technology Research Laboratory (STRL)

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract