Formalising of transactional memory using interval temporal logic (ITL)
Date
2012
Advisors
Journal Title
Journal ISSN
ISSN
Volume Title
Publisher
IEEE
Type
Conference
Peer reviewed
Abstract
Description
Keywords
Citation
El-kustaban, A., Moszkowski, B. and Cau, A. (2012) Formalising of transactional memory using Interval Temporal Logic (ITL). 2012 Spring World Congress on Engineering and Technology, SCET 2012 - Proceedings