Sökning: "process algebras"

Visar resultat 1 - 5 av 7 avhandlingar innehållade orden process algebras.

  1. 1. Formalising process calculi

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

    Sammanfattning : 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. LÄS MER

  3. 2. Dualities, affine vertex operator algebras, and geometry of complex polynomials

    Författare :Julius Borcea; Matematik (naturvetenskapliga fakulteten); []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Sendov s conjecture; annihilating fields; relative vertex operators; twisted modules; vertex operator algebras; Affine Lie algebras; standard modules; geometry of polynomials.; Mathematics; Matematik;

    Sammanfattning : This thesis consists of two parts which deal with different subjects. In the first part we study certain aspects of the representation theory of affine Kac-Moody Lie algebras and related structures. LÄS MER

  4. 3. A calculus of real time systems

    Författare :Yi Wang; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; timed calculi; Milner s CCS; process algebras; real time systems;

    Sammanfattning : .... LÄS MER

  5. 4. Classification and Construction of Low-dimensional Hom-Lie Algebras and Ternary Hom-Nambu-Lie Algebras

    Författare :Elvice Ongong'a; Sergei Silvestrov; Johan Richter; Joakim Arnlind; Mälardalens högskola; []
    Nyckelord :Mathematics Applied Mathematics; matematik tillämpad matematik;

    Sammanfattning : This thesis concerns the construction and classification of low-dimensional Hom-Lie algebras and ternary Hom-Nambu-Lie algebras. A classification of 3-dimensional Hom-Lie algebras is given for nilpotent linear endomorphism, as a twisting map, and a construction of 4-dimensional Hom-Lie algebras is done. LÄS MER

  7. 5. Free convolutions and the Pearcey process in random matrix theory

    Författare :Philippe Moreillon; Kevin Schnelli; Benoit Collins; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Matematik; Mathematics;

    Sammanfattning : The dissertation is in Random Matrix Theory, a field at the interface of probability theory, mathematical physics and operator algebras. First, we examine elementary questions that arise in Voiculescu’s Free Probability Theory of non-commutative random variables. LÄS MER