Logic in Computation Protocol Design | Logic in Computation | Theoretical Computer Science | NEROS