Search for dissertations about: "Ramūnas Gutkovas"

Found 2 swedish dissertations containing the words Ramūnas Gutkovas.

  2. 1. Advancing concurrent system verification : Type based approach and tools

    Author : Ramunas Gutkovas; Johannes Borgström; Björn Victor; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

    Abstract : Concurrent systems, i.e., systems of parallel processes, are nearly ubiquitous and verifying the correctness of such systems is becoming an important subject. Many formalisms were invented for such purpose, however, new types of systems are introduced and there is a need for handling larger systems. READ MORE

  4. 2. 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