Sciweavers

39 search results - page 2 / 8
» mpc 2010
Sort
View
78
Voted
MPC
2010
Springer
158views Mathematics» more  MPC 2010»
15 years 8 months ago
Compositional Action System Derivation Using Enforced Properties
Brijesh Dongol, Ian J. Hayes
88
Voted
MPC
2010
Springer
172views Mathematics» more  MPC 2010»
15 years 8 months ago
Temporal Logic Verification of Lock-Freedom
Bogdan Tofan, Simon Bäumler, Gerhard Schellho...
116
Voted
MPC
2010
Springer
166views Mathematics» more  MPC 2010»
15 years 7 months ago
The Algorithmics of Solitaire-Like Games
Roland Carl Backhouse, Wei Chen, João F. Fe...
103
Voted
MPC
2010
Springer
143views Mathematics» more  MPC 2010»
15 years 5 months ago
Gradual Refinement
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenj...
105
Voted
PODC
2010
ACM
15 years 3 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á, ...