مرکز منطقه ای اطلاع رساني علوم و فناوري - Managed Agreement: Generalizing two fundamental distributed agreement problems

Title of article :

Managed Agreement: Generalizing two fundamental distributed agreement problems

Author/Authors :

Emmanuelle Anceaume، نويسنده , , Roy Friedman، نويسنده , , Maria Gradinariu، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2007

Pages :

From page :

190

To page :

198

Keywords :

Automatic theorem proving , formal languages

Journal title :

Information Processing Letters

Serial Year :

2007

Journal title :

Information Processing Letters

Record number :

130380

Link To Document :