CONFEST'26
CONCUR
QEST+FORMATS
FMICS
Workshops
Local Info
Program
Registration
CONFEST 2026
Express/SOS
On the Expressiveness of Asynchronous Processes with Nested Session Types
Sjors Wortelboer, Dan Frumin, Jorge A. Pérez
in
Room B
in session
Express/SOS Workshop Session 1
(on,
Sat, 10:30
, 4 talks over 90 min)
Other talks in Express/SOS Workshop Session 1:
The MAY-preorder for timed systems with asynchronous communication
Encoding call-by-push-value in the pi-calculus
Weighted barbed congruence
Program
EXPRESS/SOS Program