Title of article
Managed Agreement: Generalizing two fundamental distributed agreement problems
Author/Authors
Emmanuelle Anceaume، نويسنده , , Roy Friedman، نويسنده , , Maria Gradinariu، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2007
Pages
9
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