Search for dissertations about: "Johannes Åman Pohjola"

Found 2 swedish dissertations containing the words Johannes Åman Pohjola.

2. 1. Bells and Whistles : Advanced language features in psi-calculi

   Author : Johannes Åman Pohjola; Joachim Parrow; Björn Victor; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Abstract : Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion calculus, the applied pi-calculus and the spi calculus. Remarkably, machine-checked proofs of standard algebraic and congruence properties of bisimilarity apply to every instance of the framework. READ MORE

4. 2. Culling Concurrency Theory : Reusable and trustworthy meta-theory, proof techniques and separation results

   Author : Johannes Åman Pohjola; Joachim Parrow; Björn Victor; Uwe Nestmann; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; Datavetenskap;

   Abstract : As concurrent systems become ever more complex and ever more ubiquitous, the need to understand and verify them grows ever larger. For this we need formal modelling languages that are well understood, with rigorously verified foundations and proof techniques, applicable to a wide variety of concurrent systems. READ MORE