RUDWICK THOMAS W III

Physical realization of dynamic logic using parameterized tile partitioning