%0 Thesis %1 phd/basesearch/Johansson10 %A Johansson, Magnus %D 2010 %K %T Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic.

@phdthesis{phd/basesearch/Johansson10, added-at = {2023-12-13T07:31:40.000+0100}, author = {Johansson, Magnus}, biburl = {https://www.bibsonomy.org/bibtex/276d8425ac81204e5843208b258c50025/admin}, ee = {https://www.base-search.net/Record/5041db746f5767e766466e88ceb8b89210506632ed2f825bb15018342437dddc}, interhash = {ba17c26f6f64c6cd8ea8d39b77f949de}, intrahash = {76d8425ac81204e5843208b258c50025}, keywords = {}, note = {base-search.net (ftuppsalauniv:oai:DiVA.org:uu-123139)}, school = {Uppsala University, Sweden}, timestamp = {2023-12-13T07:31:40.000+0100}, title = {Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic.}, year = 2010 }