Sökning: "labelled transition system"

Hittade 5 avhandlingar innehållade orden labelled transition system.

  1. 1. Fast decision of strong bisimulation equivalence using partition refinement

    Författare :Sven Westin; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; CCS; coarsest partition; labelled transition system; refinement; partition; bisimulation equivalence;

    Sammanfattning : .... LÄS MER

  3. 2. Transition Metal Mediated Transformations of Carboranes

    Författare :Ludvig Eriksson; Kalman Szabo; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Chemistry; carborane; isoquinoline; PK11195; peripheral bensodiazepine receptor; Cu I Iodide; iodinated carborane; palladium; isotopic exchange; Herrmann’s Catalyst; Heck reaction; Suzuki-Miyaura reaction; cross coupling; arylation; olefination; 125-iodine; radiolabelling; carboraneboronic ester; BNCT; 2-iodo-; Kemi; Chemistry; Kemi; organisk kemi; Organic Chemistry;

    Sammanfattning : This thesis describes the use of copper and palladium to mediate transformations of carboranes, especially p-carborane.1-(1-p-carboranyl)-N-methyl-N-(2-butyl)-3-isoquinolinecarboxamide, a carborane containing analogue of the peripheral benzodiazepine receptor (PBR) ligand PK11195, has been synthesised. LÄS MER

  4. 3. Sunrise of an Industry : Solar Energy under Financial and Industrial Capitalism in the U.S. and Japan, 1973 - 2005

    Författare :Max Jerneck; Sociologi; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Climate Change; Solar Energy; Photovoltaics; Sustainable Transition; Innovation; Industrial Development; Financialization;

    Sammanfattning : The thesis addresses the question of how to mitigate climate change by studying the emergence of solar photovoltaic energy as an example of a low carbon industry. By outlining the social conditions behind the growth of that industry, I aim to further the understanding of low carbon industrial development in general. LÄS MER

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

  7. 5. Transmission Electron Microscopy of III-V Nanowires and Nanotrees

    Författare :Lisa Karlsson; Centrum för analys och syntes; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Technological sciences; Naturvetenskap; Natural science; nanowires; TEM; III-V; Teknik;

    Sammanfattning : In this work, the morphology and crystal structure of epitaxial semiconductor nanowire structures grown by metal-organic vapour phase epitaxy (MOVPE) are studied by electron microscopy methods. In particular, the three-dimensional structure of nanowires and nanotrees has been characterised by scanning electron microscopy (SEM), high-resolution transmission electron microscopy (HRTEM) and multi-slice (MS) simulations. LÄS MER