Multiparty Session Typing in Java, Deductively.

Jelle Bouma Stijn de Gouw Sung-Shik Jongmans

Published in: TACAS (2) (2023)

Keyphrases

multi party
privacy preserving
secret sharing
java programs
description language
programming language
source code
object oriented
open source
lightweight
human communication
turn taking
audio video
database applications
mental states
development environment
java virtual machine
web applications
web services