Search for dissertations about: "psi calculi"

Showing result 1 - 5 of 7 swedish dissertations containing the words psi calculi.

  2. 1. Formalising process calculi

    Author : Jesper Bengtson; Joachim Parrow; Daniel Hirschkoff; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; process calculi; interactive theorem proving; nominal logic; pi-calculus; CCS; psi-calculi; Computer science; Datalogi; Datavetenskap; Computer Science;

    Abstract : As the complexity of programs increase, so does the complexity of the models required to reason about them. Process calculi were introduced in the early 1980s and have since then been used to model communication protocols of varying size and scope. READ MORE

  4. 2. Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic

    Author : Magnus Johansson; Björn Victor; Joachim Parrow; Catuscia Palamidessi; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; process calculi; pi-calculus; bisimulation; operational semantics; nominal logic; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Abstract : A psi-calculus is an extension of the pi-calculus with nominal data types for data structures, logical assertions, and conditions. These can be transmitted between processes and their names can be statically scoped as in the standard pi-calculus. READ MORE

  5. 3. 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

  6. 4. Extending psi-calculi and their formal proofs

    Author : Palle Raabjerg; Joachim Parrow; Björn Victor; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

    Abstract : Psi-calculi is a parametric framework for extensions of the pi-calculus, with arbitrary data structures and logical assertions for facts about data. This thesis presents broadcast psi-calculi and higher-order psi-calculi, two extensions of the psi-calculi framework, allowing respectively one-to-many communications and the use of higher-order process descriptions through conditions in the parameterised logic. READ MORE

  7. 5. Languages, Logics, Types and Tools for Concurrent System Modelling

    Author : Ramūnas Gutkovas; Johannes Borgström; Björn Victor; Thomas T. Hildebrandt; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; process calculus; modal logic; session types; tool; Computer Science; Datavetenskap;

    Abstract : A concurrent system is a computer system with components that run in parallel and interact with each other. Such systems are ubiquitous and are notably responsible for supporting the infrastructure for transport, commerce and entertainment. READ MORE