The Session Abstract Machine

The Session Abstract Machine