Implementing Typed Psi-calculi

Sammanfattning: In this thesis project we focus on the implementation of a type system in a tool called Psi-calculi Workbench. Psi-calculi is an attempt to generalize a family of process calculi based on a parametric approach. Instantiating parameters of the psi-calculi framework (namely: data, conditions and assertions) results in a psi-calculus. The implementation of the type system is based on an existing specification with some extensions which we add to it. The original idea behind the psi-calculi type system is to keep it as generic as possible, with minimum dependency to the specific psi instances. Due to this requirement imposed by the theory, we try to keep the implementation of the type system as generic as possible. This can be achieved in a rather straight forward way by virtue of Standard ML module system. In order to evaluate the result of our type system implementation, we present the instantiation of two typed psi-calculus examples using the typed version of the Psi-calculi Workbench.