Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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
2012.
Series
IT, 12 060
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:uu:diva-193565OAI: oai:DiVA.org:uu-193565DiVA: diva2:603139
Educational program
Master Programme in Computer Science
Uppsok
Technology
Supervisors
Examiners
Available from: 2013-02-05 Created: 2013-02-05 Last updated: 2014-11-04Bibliographically approved

Open Access in DiVA

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

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 186 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

urn-nbn

Altmetric score

urn-nbn
Total: 455 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf