Search for dissertations about: "labelled transition system"

Found 5 swedish dissertations containing the words labelled transition system.

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

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

    Abstract : .... READ MORE

  4. 2. Transition Metal Mediated Transformations of Carboranes

    Author : Ludvig Eriksson; Kalman Szabo; Uppsala universitet; []
    Keywords : 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;

    Abstract : 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. READ MORE

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

    Author : Max Jerneck; Sociologi; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Climate Change; Solar Energy; Photovoltaics; Sustainable Transition; Innovation; Industrial Development; Financialization;

    Abstract : 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. READ MORE

  6. 4. Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic

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

    Abstract : 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. READ MORE

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

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

    Abstract : 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. READ MORE