Search for dissertations about: "session types"
Showing result 1 - 5 of 30 swedish dissertations containing the words session types.
-
1. Languages, Logics, Types and Tools for Concurrent System Modelling
Abstract : A concurrent system is a computer system with components that run in parallel and interact with each other. Such systems are ubiquitous and are notably responsible for supporting the infrastructure for transport, commerce and entertainment. READ MORE
-
2. Skeletal muscle fiber types in man : With special reference to anabolic signaling and mitochondrial bioenergetics
Abstract : Human skeletal muscle consists of a mixture of slow-twitch (type I) and fast-twitch (type II) fibers. The type I fibers are endurance-oriented, with a metabolic system and infrastructure that supports aerobic metabolism. READ MORE
-
3. A context-aware application mobility approach
Abstract : Over the last two decades, mobile computing has gone from being a mere vision to becoming a reality, ubiquitously present in our everyday lives. There are different types of mobility, from user and terminal mobility, to mobility of services and sessions. READ MORE
-
4. Fears, anxieties and cognitive-behavioral treatment of specific phobias in youth
Abstract : The present dissertation consists of three empirical studies on children and adolescents presenting with various specific phobias in Stockholm, Sweden and in Virginia, USA. The overall aim was to contribute to our understanding of childhood fears, anxiety and phobias and to evaluate the efficacy and portability of a one-session treatment of specific phobias in youth. READ MORE
-
5. On Modelling and Analysing Concurrent Systems
Abstract : In order to verify program correctness one needs an appropriate programming language, a specification of the program correctness, and some methods to prove the program correct. We examine two of these aspects: a language for writing a particular kind of concurrent programs, that is modelling concurrent systems, and methods to prove certain correctness properties of concurrent programs, that is analysing concurrent systems. READ MORE