Search for dissertations about: "Yemane Kidane"

Found 2 swedish dissertations containing the words Yemane Kidane.

  2. 1. Relations in Models of Calculi and Logics with Names

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

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

  4. 2. Exploring child health and its ecology : the Kirkos study in Addis Ababa. Research frame, project description and data evaluation

    Author : Lennart Freij; Yemane Kidane; Göran Sterky; Stig Wall; Göteborgs universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES;

    Abstract : .... READ MORE