Change search
ReferencesLink to record
Permanent link

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

This thesis presents an automated tool for manipulation and analysis of mobile concurrent systems described in the Psi-calculi framework. Psi-calculi is a family of process calculi, parameterised on data, conditions and a logic. We provide a general framework for implementing instantiations of these parameters, yielding a Psi-calculus. The tool implements simulation of Psi-calculus processes based on symbolic operational semantics, process constants for providing an environment for processes, and a symbolic bisimulation algorithm for checking bisimilarity. The tool has a command interpreter frontend for interactive use.

Place, publisher, year, edition, pages
IT, 11 050
URN: urn:nbn:se:uu:diva-157883OAI: diva2:436820
Educational program
Master Programme in Computer Science
Available from: 2011-08-25 Created: 2011-08-25 Last updated: 2011-08-25Bibliographically approved

Open Access in DiVA

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

By organisation
Department of Information Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 94 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: 419 hits
ReferencesLink to record
Permanent link

Direct link