Avancerad sökning

Hittade 1 uppsats som matchar ovanstående sökkriterier.

1. 1. Implementing Typed Psi-calculi

   Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Amin Khorsandiaghai; [2012]
   Nyckelord :;

   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. LÄS MER