Probabilistic choice, reversibility, loops, and miracles

Hdl Handle:
http://hdl.handle.net/10149/116105
Title:
Probabilistic choice, reversibility, loops, and miracles
Book Title:
Unifying theories of programming
Authors:
Stoddart, W. J. (Bill); Bell, P. (Pete)
Editors:
Qin, S. (Shengchao)
Affiliation:
University of Teesside
Citation:
Stoddart, W. J. and Bell, P. (2010) 'Probabilistic choice, reversibility, loops, and miracles', in Qin, S. (ed) Unifying theories of programming, Lecture Notes in Computer Science, 6445, pp.253-270.
Publisher:
Springer
Conference:
Third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010
Issue Date:
2010
URI:
http://hdl.handle.net/10149/116105
DOI:
10.1007/978-3-642-16690-7_13
Additional Links:
http://www.springerlink.com/content/l43hw2u5113u79t4/
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
prospective values; probabilistic choice; expectations; reversibility; iteration
Series/Report no.:
Lecture Notes in Computer Science; 6445
ISBN:
9783642166891
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 23/11/2010]
Citation Count:
0 [Web of Science and Scopus, 23/11/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorStoddart, W. J. (Bill)en
dc.contributor.authorBell, P. (Pete)en
dc.contributor.editorQin, S. (Shengchao)en
dc.date.accessioned2010-11-23T12:16:34Z-
dc.date.available2010-11-23T12:16:34Z-
dc.date.issued2010-
dc.identifier.isbn9783642166891-
dc.identifier.doi10.1007/978-3-642-16690-7_13-
dc.identifier.urihttp://hdl.handle.net/10149/116105-
dc.language.isoenen
dc.publisherSpringeren
dc.relation.ispartofseriesLecture Notes in Computer Scienceen
dc.relation.ispartofseries6445en
dc.relation.urlhttp://www.springerlink.com/content/l43hw2u5113u79t4/en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 23/11/2010]en
dc.subjectprospective valuesen
dc.subjectprobabilistic choiceen
dc.subjectexpectationsen
dc.subjectreversibilityen
dc.subjectiterationen
dc.titleProbabilistic choice, reversibility, loops, and miraclesen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentUniversity of Teessideen
dc.title.bookUnifying theories of programmingen
dc.identifier.conferenceThird international symposium, UTP 2010, Shanghai, China, November 15-16, 2010en
ref.citationcount0 [Web of Science and Scopus, 23/11/2010]en
or.citation.harvardStoddart, W. J. and Bell, P. (2010) 'Probabilistic choice, reversibility, loops, and miracles', in Qin, S. (ed) Unifying theories of programming, Lecture Notes in Computer Science, 6445, pp.253-270.-
prism.startingPage253-
prism.endingPage270-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.