PiLib is a library written in Scala that implements the concurrency constructs of the Pi-calculus. Some features of the programming language Scala, examined in the paper, make it possible to use almost the same syntax as in the Pi-calculus. The advantages of this library with respect to a simple Pi-calculus interpreter are that we can transmit any value along names, we can get control over them using the type system, and we have access to the full power of Scala in terms of expressiveness and libraries

Cremet, Vincent

Odersky, Martin

PiLib is a library written in Scala that implements the concurrency constructs of the Pi-calculus. Some features of the programming language Scala, examined in the paper, make it possible to use almost the same syntax as in the Pi-calculus. The advantages of this library with respect to a simple Pi-calculus interpreter are that we can transmit any value along names, we can get control over them using the type system, and we have access to the full power of Scala in terms of expressiveness and libraries.LAM

Infoscience - École polytechnique fédérale de Lausanne

PiLib: A Hosted Language for Pi-Calculus Style Concurrency

Microsoft HoloLens is a headmounted augmented reality system providing users the ability to experience three-dimensional virtual content. This could be used in applications aimed at industry where users could use augmented reality to easily access information and receive instructions. For this to be suitable for industry, the system must be robust. One property of robustness was chosen for this thesis: system performance in conditions of different levels of light. A prototype implementing a use case for future industry was developed, as well as two additional smaller applications to facilitate experiments. Experiments were performed to investigate how different light levels affects the functionality in a 3D holographic application running on HoloLens and how the visibility of virtual content was affected in conditions with bright and heterogeneous backgrounds. The results showed that the functionality of the holographic application was not signiﬁcantly affected except in very dark conditions, and that bright and messy backgrounds pose a problem to hologram visibility

PiLib: A Hosted Language for Pi-Calculus Style Concurrency

Abstract

Similar works

Full text

Available Versions

Infoscience - École polytechnique fédérale de Lausanne

Publikationer från Linköpings universitet

Digitala Vetenskapliga Arkivet - Academic Archive On-line

Academic Archive On-line (Linköping University, Sweden)