JSD Implementation

In essence we must transform the concurrent specification we have developed into a sequential one.

Then we start coding.

We do the transformation by means of process inversion.

Previous slide Next slide Back to first slide View graphic version