Elena Giachino

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Statically and dynamically verifiable SLA metrics	2021-05-20	Paper
Session types revisited Information and Computation	2017-09-28	Paper
Causal-consistent rollback in a tuple-based language Journal of Logical and Algebraic Methods in Programming	2017-03-20	Paper
Dynamic rebinding for concurrent object groups: theory and practice Journal of Logical and Algebraic Methods in Programming	2016-11-30	Paper
Global escape in multiparty sessions Mathematical Structures in Computer Science	2016-07-28	Paper
Deadlock detection in linear recursive programs Lecture Notes in Computer Science	2015-02-25	Paper
Deadlock analysis of unbounded process networks CONCUR 2014 – Concurrency Theory	2014-09-15	Paper
Deriving session and union types for objects Mathematical Structures in Computer Science	2014-04-16	Paper
Global escape in multiparty sessions	2012-08-29	Paper
A type safe state abstraction for coordination in JAVA-like languages Acta Informatica	2009-03-20	Paper
Amalgamating sessions and methods in object-oriented languages with generics Theoretical Computer Science	2009-03-02	Paper
Alias types and effects for ``environments-aware computations	2009-02-12	Paper
Bounded Session Types for Object Oriented Languages Formal Methods for Components and Objects	2008-09-17	Paper
Session and Union Types for Object Oriented Programming Concurrency, Graphs and Models	2008-06-19	Paper

Research outcomes over time

This page was built for person: Elena Giachino