PTSC: probability, time and shared-variable concurrency

Hdl Handle:
http://hdl.handle.net/10149/110659
Title:
PTSC: probability, time and shared-variable concurrency
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. (2009) 'PTSC: probability, time and shared-variable concurrency', Innovations in Systems and Software Engineering, 5(4), pp.271-284.
Publisher:
Springer Verlag
Journal:
Innovations in Systems and Software Engineering
Issue Date:
Dec-2009
URI:
http://hdl.handle.net/10149/110659
DOI:
10.1007/s11334-009-0100-9
Additional Links:
http://www.springerlink.com/index/10.1007/s11334-009-0100-9
Type:
Article
Language:
en
Keywords:
algebraic laws; bisimulation; operational semantics; probability; shared-variable concurrency; time
ISSN:
1614-5046; 1614-5054
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/09/2010]
Citation Count:
0 [Scopus, 03/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-03T13:50:43Z-
dc.date.available2010-09-03T13:50:43Z-
dc.date.issued2009-12-
dc.identifier.citationInnovations in Systems and Software Engineering; 5(4):271-284en
dc.identifier.issn1614-5046-
dc.identifier.issn1614-5054-
dc.identifier.doi10.1007/s11334-009-0100-9-
dc.identifier.urihttp://hdl.handle.net/10149/110659-
dc.language.isoenen
dc.publisherSpringer Verlagen
dc.relation.urlhttp://www.springerlink.com/index/10.1007/s11334-009-0100-9en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 03/09/2010]en
dc.subjectalgebraic lawsen
dc.subjectbisimulationen
dc.subjectoperational semanticsen
dc.subjectprobabilityen
dc.subjectshared-variable concurrencyen
dc.subjecttimeen
dc.titlePTSC: probability, time and shared-variable concurrencyen
dc.typeArticleen
dc.contributor.departmentUniversity of Durham. Department of Computer Science.en
dc.identifier.journalInnovations in Systems and Software Engineeringen
ref.citationcount0 [Scopus, 03/09/2010]en
or.citation.harvardZhu, H. et. al. (2009) 'PTSC: probability, time and shared-variable concurrency', Innovations in Systems and Software Engineering, 5(4), pp.271-284.-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.