Elena Giachino

Available identifiers

zbMath Open giachino.elenaMaRDI QIDQ347393

List of research outcomes

Publication	Date of Publication	Type
Statically and dynamically verifiable SLA metrics	2021-05-20	Paper
Session types revisited	2017-09-28	Paper
Causal-consistent rollback in a tuple-based language	2017-03-20	Paper
Dynamic rebinding for concurrent object groups: theory and practice	2016-11-30	Paper
Global escape in multiparty sessions	2016-07-28	Paper
Deadlock Detection in Linear Recursive Programs	2015-02-25	Paper
Deadlock Analysis of Unbounded Process Networks	2014-09-15	Paper
Deriving session and union types for objects	2014-04-16	Paper
Global escape in multiparty sessions	2012-08-29	Paper
A type safe state abstraction for coordination in JAVA-like languages	2009-03-20	Paper
Amalgamating sessions and methods in object-oriented languages with generics	2009-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q3601885	2009-02-12	Paper
Bounded Session Types for Object Oriented Languages	2008-09-17	Paper
Session and Union Types for Object Oriented Programming	2008-06-19	Paper

Research outcomes over time

This page was built for person: Elena Giachino