Sökning: "process calculus"

Visar resultat 1 - 5 av 44 avhandlingar innehållade orden process calculus.

  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. Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic

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

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

  4. 3. Some Extensions of Fractional Ornstein-Uhlenbeck Model : Arbitrage and Other Applications

    Författare :José Igor Morlanes; Andriy Andreev; Hans Nyquist; Henrik Hult; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; fractional Ornstein-Uhlenbeck process; insider information; simulation embedding method; jump times; least-squares estimator; likelihood process; Ito calculus; Malliavin calculus; stochastic calculus; Statistics; statistik;

    Sammanfattning : This doctoral thesis endeavors to extend probability and statistical models using stochastic differential equations. The described models capture essential features from data that are not explained by classical diffusion models driven by Brownian motion.New results obtained by the author are presented in five articles. LÄS MER

  5. 4. A time constrained real-time process calculus

    Författare :Viktor Leijon; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

    Sammanfattning : There are two important questions to ask regarding the correct execution of a real-time program: (i) Is there a platform such that the program executes correctly? (ii) Does the program execute correctly on a particular platform? The execution of a program is correct if all actions are taken within their execution window, i.e. LÄS MER

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