Probabilistic choice, reversibility, loops, and miracles

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

303 Downloads (Pure)

Original language	English
Title of host publication	Lecture Notes in Computer Science
Editors	Qin Shengchao
Publisher	Springer Verlag
Volume	6445
ISBN (Print)	9783642166891
DOIs	https://doi.org/10.1007/978-3-642-16690-7_13
Publication status	Published - 2010
Event	3rd International Symposium on Unifying Theories of Programming - Shanghai, China Duration: 15 Nov 2010 → 16 Nov 2010 Conference number: 3 https://link.springer.com/chapter/10.1007%2F978-3-642-16690-7_13

Conference	3rd International Symposium on Unifying Theories of Programming
Abbreviated title	UTP2010
Country/Territory	China
City	Shanghai
Period	15/11/10 → 16/11/10
Internet address	https://link.springer.com/chapter/10.1007%2F978-3-642-16690-7_13

Access to Document

@inproceedings{5dd2039367c64c549c7ae763a4ac853d,

title = "Probabilistic choice, reversibility, loops, and miracles",

author = "Bill Stoddart and Pete Bell and Shengchao Qin",

year = "2010",

doi = "10.1007/978-3-642-16690-7\_13",

language = "English",

isbn = "9783642166891",

volume = "6445",

editor = "Qin Shengchao",

booktitle = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

address = "Germany",

note = "3rd International Symposium on Unifying Theories of Programming, UTP2010 ; Conference date: 15-11-2010 Through 16-11-2010",

url = "https://link.springer.com/chapter/10.1007\%2F978-3-642-16690-7\_13",

}

TY - GEN

T1 - Probabilistic choice, reversibility, loops, and miracles

AU - Stoddart, Bill

AU - Bell, Pete

A2 - Qin, Shengchao

A2 - Shengchao, Qin

N1 - Conference code: 3

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-16690-7_13

DO - 10.1007/978-3-642-16690-7_13

M3 - Conference contribution

SN - 9783642166891

VL - 6445

BT - Lecture Notes in Computer Science

PB - Springer Verlag

T2 - 3rd International Symposium on Unifying Theories of Programming

Y2 - 15 November 2010 through 16 November 2010

ER -