Summary

The following are examples of programs with sample inputs that have been developed as part of my research. All programs below have no warranties, and should be used at one's own risk.

Selected Programs

• This prototype SETL2 program computes the maximum ready simulation relation between two finite transition processes. A derivation of this program may be found in the paper by Bloom and Paige found in the Research Overview of my home page. Two examples of input found here and here correspond to problem instances shown in Figure 1.a of that paper. Anyone who wants to run the program at a site that doesn't have SETL2 can install SETL2 easily by following the instructions found here.
• The APTS homepage is here