FiniteStateProcesses

FSP is a process specification language based closely on CommunicatingSequentialProcesses.

http://www-dse.doc.ic.ac.uk/concurrency/

Minor differences from CSP are:

• alphabets are inferred
• support for indexing
• processes can be parameterised.

An FSP program is equivalent to a LabelledTransitionSystem. An analyser for these systems that takes FSP programs as input is available from the above URL.

http://www.doc.ic.ac.uk/~jnm/LTSdocumention/FSP-notation.html

http://www.google.com/search?q=Finite+State+Processes+-FSM

---

CategoryProgrammingLanguage CategoryConcurrency