ILE - Core

10 downloads 6455 Views 975KB Size Report
for self-timed systems, and, as an illustration of the use of the method, to derive a self-timed circuit for distributed mutual exclusion. The method consists inĀ ...