Modeling data-intensive reactive systems with relational transition systems Alexander TuzhilinZvi M. Kedem OriginalPaper Pages: 203 - 231
Optimizing the costs of hierarchical quorum consensus Akhil KumarKavindra Malik OriginalPaper Pages: 255 - 275
Short resolution proofs for a sequence of tricky formulas Gunnar Stålmarck OriginalPaper Pages: 277 - 280