Skip to search
Skip to main content
About Us
Vision
Our Story
Technology
Focus Areas
Our Team
Access
Policies
Guides
Events
COVID-19 Advisory
Collections
Books & Journals
A-Z listing
Special Collections
Contact Us
Jio Institute Digital Library
Searchworks
Searchworks
Select search scope, currently:
Articles
Catalog
books, media & more in Jio Institute collections
Articles
journal articles & other e-resources
Search
All Fields
Eds Title
Eds Authors
Eds Subjects
search for
Search
Help
Bookmarks
0
Search history
Sign in
Back to Search
Start Over
Task-Structured Probabilistic I/O Automata
Authors :
Canetti, Ran
Cheung, Ling
Kaynar, Dilsun
Liskov, Moses
Lynch, Nancy
Pereira, Olivier
Segala, Roberto
WODES'06
IBM Research - T.J. Watson Center
Radboud University of Nijmegen
MIT - CSAIL
The College of William and Mary
UCL - FSA/ELEC - Département d'électricité
Università di Verona
Publication Year :
2006
Details
Language :
English
Database :
OpenAIRE
Accession number :
edsair.od......1493..8b0cb0180640198dd55e6181a7aed9ce
Tools
Email
Cite
Printer
Authors
Abstract
Subjects
Details