Linearly typed dyadic group sessions for building multiparty sessions
Traditionally, each party in a (dyadic or multiparty) session implements exactly one role specified in the type of the session. We refer to this kind of session as an individual session (i-session). As a generalization of i-session, a group session (g-session) is one in which each party may implemen...
| Main Authors: | , |
|---|---|
| Format: | Article in Journal/Newspaper |
| Language: | English |
| Published: |
2016
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/2144/45001 http://arxiv.org/abs/1604.03020v1 |