Task-Structured Probabilistic I/O Automata

"May 28, 2009."

Bibliographic Details
Main Authors:	Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto
Other Authors:	Nancy Lynch
Published:	2013
Online Access:	http://hdl.handle.net/1721.1/78359

Internet

http://hdl.handle.net/1721.1/78359