java-session-types A library of session types for java What is it good for Managing distributed transactions for java microservices. Managing compensations for java microservices in an effective and simple way.