Sciweavers

39 search results - page 2 / 8
» mpc 2010
Sort
View
101
Voted
MPC
2010
Springer
158views Mathematics» more  MPC 2010»
15 years 11 months ago
Compositional Action System Derivation Using Enforced Properties
Brijesh Dongol, Ian J. Hayes
122
Voted
MPC
2010
Springer
172views Mathematics» more  MPC 2010»
15 years 11 months ago
Temporal Logic Verification of Lock-Freedom
Bogdan Tofan, Simon Bäumler, Gerhard Schellho...
141
Voted
MPC
2010
Springer
166views Mathematics» more  MPC 2010»
15 years 10 months ago
The Algorithmics of Solitaire-Like Games
Roland Carl Backhouse, Wei Chen, João F. Fe...
128
Voted
MPC
2010
Springer
143views Mathematics» more  MPC 2010»
15 years 8 months ago
Gradual Refinement
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenj...
PODC
2010
ACM
15 years 6 months ago
On the theoretical gap between synchronous and asynchronous MPC protocols
Multiparty computation (MPC) protocols among n parties secure against t active faults are known to exist if and only if
Zuzana Beerliová-Trubíniová, ...