Tutorial 1 FSP Source

The source code for the example in the tutorial can copied as text below.

This model represents a sequential process composition for a "request" process followed by a "reply" process.

REQUEST = (request->END).

REPLY = (reply->END).

SEQUENCE = REQUEST; REPLY; END.