Psi-calculi: a Framework for Mobile Process Calculi

Thesis coverCook your own correct process calculus – just add data and logic.

This is the home my PhD-thesis, which can be downloaded below:

For links to more of my papers, and other related work, please visit the web pages of the mobility group at Uppsala University.

For your convenience, here is the BibTex entry for my thesis:

@phdthesis{Johansson10,
author = {Magnus Johansson},
institution = {Uppsala University, Division of Computer Systems},
pages = {184},
publisher = {Acta Universitatis Upsaliensis},
school = {Uppsala University, Division of Computer Systems},
title = {Psi-calculi: a framework for mobile process calculi´╗┐ : Cook your own correct process calculus - just add data and logic},
series = {Uppsala Dissertations from the Faculty of Science and Technology},
number = {94},
year = {2010}
}

Leave a comment