Change search
ReferencesLink to record
Permanent link

Direct link
Implementing Typed Psi-calculi
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2012 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

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.

Place, publisher, year, edition, pages
IT, 12 060
National Category
Engineering and Technology
URN: urn:nbn:se:uu:diva-193565OAI: diva2:603139
Educational program
Master Programme in Computer Science
Available from: 2013-02-05 Created: 2013-02-05 Last updated: 2014-11-04Bibliographically approved

Open Access in DiVA

fulltext(944 kB)163 downloads
File information
File name FULLTEXT01.pdfFile size 944 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 163 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 235 hits
ReferencesLink to record
Permanent link

Direct link