Search for dissertations about: "Bisimulation"

Showing result 6 - 10 of 16 swedish dissertations containing the word Bisimulation.

  2. 6. Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods

    Author : Johann Deneux; Parosh Abdulla; Eugene Asarin; Uppsala universitet; []
    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

  4. 7. Protecting Functional Programs From Low-Level Attackers

    Author : Adriaan Larmuseau; Dave Clarke; Julian Rathke; Uppsala universitet; []
    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

  5. 8. Combinators and Bisimulation Proofs for Restartable Systems

    Author : K V S Prasad; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : During recent years, calculi for reasoning about concurrent systems have been developed; examples are CCS (Calculus of Communicating Systems), CSP (Communicating Sequential Processs) and ACP (Algebra of Communicating Processes). Their theory has been studied intensively; rather less has been done in applying these calculi to problems of significant size. READ MORE

  6. 9. Contributions to the theory and applications of tree languages

    Author : Johanna Högberg; Frank Drewes; Manfred Droste; Umeå universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; regular tree languages; tree series; algorithmic learning; MAT-learning; bisimulation minimisation; tree-based generation; algorithmic composition; music algebra; Computer science; Datalogi;

    Abstract : This thesis is concerned with theoretical as well as practical aspects of tree languages. It consists of an introduction and eight papers, organised into three parts. READ MORE

  7. 10. Relations in Models of Calculi and Logics with Names

    Author : Kidane Yemane; Björn Victor; John Power; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Process Calculi; Syntax; Semantics; HD-automata; Logic; Category theory; Computer engineering; Datorteknik;

    Abstract : In this thesis we investigate two operational models of name-passing calculi: one based on coalgebra, and one based on enriched automata. We develop a semantic framework for modelling the open bisimulation in π-calculus, hyperbisimulation in Fusion calculus, and the first semantic interpretation of FOλ(nabla) logic. READ MORE