Sökning: "Calculi"

Visar resultat 1 - 5 av 49 avhandlingar innehållade ordet Calculi.

  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. Morphisms of real calculi from a geometric and algebraic perspective

    Författare :Axel Tiger Norkvist; Joakim Arnlind; Stefan Wagner; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; noncommutative geometry; embeddings; matrix algebras; real calculi; morphisms; free module; projective module;

    Sammanfattning : Noncommutative geometry has over the past four of decades grown into a rich field of study. Novel ideas and concepts are rapidly being developed, and a notable application of the theory outside of pure mathematics is quantum theory. LÄS MER

  5. 4. Relations in Models of Calculi and Logics with Names

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

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

  7. 5. De cholelithis per abscessum ruptum egredientibus, casus et experimenta, quæ, venia exper. Fac. Med. Ups. præside Joh. Gust. Acrel ... pro gradu doctoris, publico subjicit examini Andr. Magn. Wadsberg, Ostrogothus. In audit. Gust. maj. d. VII Junii, MDCCLXXXVIII. Horis a. et p. meridiem solitis

    Författare :Johan Gustaf Acrel; Anders Magnus Wadsberg; Johan Gustaf Acrel; Uppsala universitet; []
    Nyckelord :Calculi; Stenar; Cholelithiasis; Gallsten;

    Sammanfattning : .... LÄS MER