Search for dissertations about: "Bisimulation"

Showing result 1 - 5 of 12 swedish dissertations containing the word Bisimulation.

  1. 1. Reduction Techniques for Finite (Tree) Automata

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Lisa Kaati; Uppsala universitet.; Uppsala universitet.; [2008]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Finite automata; tree automata; bisimulation; minimization; simulation; composed bisimulation; composed simulation; Datavetenskap; Computer Science;

    Abstract : Finite automata appear in almost every branch of computer science, for example in model checking, in natural language processing and in database theory. In many applications where finite automata occur, it is highly desirable to deal with automata that are as small as possible, in order to save memory as well as excecution time. READ MORE

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

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Magnus Johansson; Uppsala universitet.; Uppsala universitet.; [2010]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; process calculi; pi-calculus; bisimulation; operational semantics; nominal logic; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; Computer Science; Datavetenskap;

    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

  3. 3. Programming Language Design - Issues in Web Programming and Security

    University dissertation from Göteborg : Chalmers University of Technology

    Author : Niklas Broberg; Göteborgs universitet.; Gothenburg University.; [2006]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Functional programming; web programming; dynamic loading; regular expressions; security; non-interference; calculus; core calculus; bisimulation;

    Abstract : This thesis consists of two separate parts. Both concernprogramming language design, the first in the domain ofweb programming and the other for security. READ MORE

  4. 4. Verification of Parameterized and Timed Systems Undecidability Results and Efficient Methods

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Johann Deneux; Uppsala universitet.; Uppsala universitet.; [2006]
    Keywords : Parameterized Systems; Timed Systems; Symbolic Model Checking; Forward Reachability; Acceleration; Robust Languages; Language Universality; Automata Minimization; Bisimulation;

    Abstract : Software is finding its way into an increasing range of devices (phones, medical equipment, cars...). READ MORE

  5. 5. Protecting Functional Programs From Low-Level Attackers

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Adriaan Larmuseau; Uppsala universitet.; Uppsala universitet.; [2016]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Security; Functional Programming; Compilation; Interoperation; Bisimulation; Memory Protection; Datavetenskap; Computer Science;

    Abstract : Software systems are growing ever larger. Early software systems were singular units developed by small teams of programmers writing in the same programming language. Modern software systems, on the other hand, consist of numerous interoperating components written by different teams and in different programming languages. READ MORE