Presentation/Demonstration of the PAISLey Environment

In general the presentation will proceed feature-by-feature. Each feature will be explained using viewgraphs, and then demonstrated via a specification of a system or problem familiar enough to minimize the amount of new information that must be absorbed. Maximal concurrency will be demonstrated using a readers/writers problem, for instance, and consistency checking will be demonstrated using a stack.