Exercising Psi-calculi: A Psi-calculi workbench
Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
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
IdentifiersURN: urn:nbn:se:uu:diva-157883OAI: oai:DiVA.org:uu-157883DiVA: diva2:436820
Master Programme in Computer Science
Victor, BjörnJansson, Anders