1
Опубликовано 2006
Оглавление: ... Fair Exchange in Byzantine Environments -- A Security Analysis of the Precise Time Protocol (Short...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2010
Оглавление: ...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2006
Оглавление: ... when and when not to interrupt -- Formal Analysis of the Communication of Probabilistic Knowledge...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2014
Оглавление: ... Forces in Probabilistic Automata -- Precise Predictive Analysis for Discovering Communication Deadlocks...
Полный текст
Электронный ресурс eКнига