Sökning: "Yemane Kidane"
Hittade 2 avhandlingar innehållade orden Yemane Kidane.
1. Relations in Models of Calculi and Logics with Names
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
2. Exploring child health and its ecology : the Kirkos study in Addis Ababa. Research frame, project description and data evaluation
Sammanfattning : .... LÄS MER
Resultatsidor:
1