Integrating probability with time and shared-variable concurrency

Hdl Handle:
http://hdl.handle.net/10149/110738
Title:
Integrating probability with time and shared-variable concurrency
Book Title:
Proceedings of the 30th annual IEEE/NASA software engineering workshop, SEW-30
Authors:
Zhu, H. (Huibiao); Qin, S. (Shengchao); He, J. (Jifeng); Bowen, J. P. (Jonathan)
Affiliation:
University of Durham. Department of Computer Science.
Citation:
Zhu, H. et. al. (2006) 'Integrating probability with time and shared-variable concurrency', 30th annual IEEE/NASA software engineering workshop, SEW-30, Columbia, MD, April 24-28 April 2006, Proceedings. California: IEEE, pp.179-189.
Publisher:
IEEE
Conference:
30th annual IEEE/NASA software engineering workshop, SEW-30, Columbia, MD, April 24-28 April 2006
Issue Date:
2006
URI:
http://hdl.handle.net/10149/110738
DOI:
10.1109/SEW.2006.22
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
time; concurrency; probability; shared-variable; operational semantics
ISBN:
9780769526249
Rights:
Author can archive publisher's version/PDF. For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/09/2010]
Citation Count:
2 [Scopus, 06/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorZhu, H. (Huibiao)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorHe, J. (Jifeng)en
dc.contributor.authorBowen, J. P. (Jonathan)en
dc.date.accessioned2010-09-06T12:49:42Z-
dc.date.available2010-09-06T12:49:42Z-
dc.date.issued2006-
dc.identifier.isbn9780769526249-
dc.identifier.doi10.1109/SEW.2006.22-
dc.identifier.urihttp://hdl.handle.net/10149/110738-
dc.language.isoenen
dc.publisherIEEEen
dc.rightsAuthor can archive publisher's version/PDF. For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/09/2010]en
dc.subjecttimeen
dc.subjectconcurrencyen
dc.subjectprobabilityen
dc.subjectshared-variableen
dc.subjectoperational semanticsen
dc.titleIntegrating probability with time and shared-variable concurrencyen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentUniversity of Durham. Department of Computer Science.en
dc.title.bookProceedings of the 30th annual IEEE/NASA software engineering workshop, SEW-30en
dc.identifier.conference30th annual IEEE/NASA software engineering workshop, SEW-30, Columbia, MD, April 24-28 April 2006en
ref.citationcount2 [Scopus, 06/09/2010]en
or.citation.harvardZhu, H. et. al. (2006) 'Integrating probability with time and shared-variable concurrency', 30th annual IEEE/NASA software engineering workshop, SEW-30, Columbia, MD, April 24-28 April 2006, Proceedings. California: IEEE, pp.179-189.-
prism.startingPage179-
prism.endingPage189-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.