EVENT
Event
Event News
Talk by Prof. Nobuko Yoshida from Imperial College London :"Synthesis of Multiparty Session Types"
Event News
Talk by Prof. Nobuko Yoshida from Imperial College London :"Synthesis of Multiparty Session Types"
Outline
- Speaker
- Nobuko Yoshida (Imperial College London)
http://mrg.doc.ic.ac.uk/ - Date:
- July 19 (Tue.), 2016
- Time:
- 10:00-12:00
- Place:
-
National Institute of Informatics (NII)
20th floor, Room 2005 (Lecture Room 1) - Title:
- Synthesis of Multiparty Session Types
- Abstract:
- Multiparty session types are a type system that can ensure the safetyand liveness of distributed peers via the global specification oftheir interactions. To construct a global specification from a set ofdistributed uncontrolled behaviours, this talk explores the problem offully characterising multiparty session types in terms ofcommunicating automata. We equip global and local session types withlabelled transition systems (LTSs) that faithfully representasynchronous communications through unbounded buffered channels. Usingthe equivalence between the two LTSs, we identify a class ofcommunicating automata that exactly correspond to the projected localtypes. We exhibit an algorithm to synthesise a global type from acollection of communicating automata. The key property of our findingsis the notion of multiparty compatibility which non-trivially extendsthe duality condition for binary session types.At the end of the talk, I also show a couple of applications of the synthesis theory of multiparty session types.
NII Open Forum on Informatics
NII Open House
NII Open House 2023
NII Open House 2018
NII Open House 2017
NII Open House 2016
NII Open House 2015
NII Open House 2014
International Symposium
International Workshop
Event News
Fiscal 2024
2025/02/10
2024/12/09
2024/12/09
2024/12/03
2024/11/20
2024/11/11
2024/11/01
2024/10/29
2024/10/22
2024/10/08
2024/10/07
2024/10/01
2024/09/25
2024/08/20
2024/08/20
2024/08/06
2024/07/31
2024/07/30
2024/07/29
2024/07/22
2024/07/16
2024/07/12
2024/07/10
2024/07/09
2024/07/08
2024/07/02
2024/07/02
2024/06/24
2024/06/24
2024/06/24
2024/06/21
2024/06/19
2024/06/07
2024/06/07
2024/06/06
2024/06/05
2024/06/03
2024/06/03
2024/05/27
2024/05/24
2024/05/20
2024/04/12
Fiscal 2023
2024/03/27
2024/03/25
2024/03/06
2024/03/04
2023/12/19
2023/12/12
2023/11/29
2023/11/29
2023/11/21
2023/10/20
2023/10/19
2023/10/05
2023/09/29
2023/09/28
2023/08/28
2023/08/22
2023/08/04
2023/07/27
2023/07/24
2023/07/19
2023/07/14
2023/07/11
2023/07/07
2023/07/03
2023/06/20
2023/06/08
2023/06/02
2023/05/16
2023/05/10
Fiscal 2022
2022/12/12
2022/12/08
2022/12/08
2022/11/21
2022/11/08
2022/11/02
2022/10/21
2022/09/13
2022/09/09
2022/09/06
2022/08/17
2022/08/16
2022/08/08
2022/06/21
2022/06/14
2022/06/13
Fiscal 2020
Fiscal 2019
2020/02/25
2020/02/25
2020/02/18
2020/02/10
2020/01/20
2020/01/16
2020/01/15
2019/12/20
2019/12/20
2019/12/16
2019/12/05
2019/11/11
2019/09/18
2019/09/17
2019/09/11
2019/09/02
2019/08/30
2019/08/30
2019/08/01
2019/07/26
2019/07/18
2019/07/16
2019/06/10
2019/05/31
2019/05/27
2019/05/21
Fiscal 2018
2019/03/18
2019/03/12
2019/03/11
2019/03/07
2019/03/06
2019/01/22
2019/01/10
2019/01/08
2018/12/25
2018/12/19
2018/12/18
2018/12/07
2018/12/05
2018/11/22
2018/10/25
2018/10/19
2018/10/19
2018/10/17
2018/10/10
2018/09/25
2018/09/20
2018/09/19
2018/09/13
2018/09/11
2018/09/07
2018/09/05
2018/08/30
2018/08/10
2018/08/07
2018/08/01
2018/08/01
2018/07/31
2018/07/24
2018/07/19
2018/06/26
2018/06/22
2018/06/22
2018/06/18
2018/06/14
2018/06/13
2018/06/12
2018/06/11
2018/05/30
2018/05/28
2018/05/28
2018/05/14
2018/05/09
2018/04/27
2018/04/25
2018/04/10
2018/04/02
Fiscal 2017
2018/03/22
2018/03/19
2018/03/13
2018/03/06
2018/02/26
2018/02/26
2018/02/19
2018/02/08
2018/02/05
2018/01/26
2018/01/23
2018/01/16
2018/01/12
2017/12/20
2017/12/06
2017/12/04
2017/11/01
2017/10/30
2017/10/20
2017/10/03
2017/09/15
2017/08/25
2017/08/22
2017/08/01
2017/07/27
2017/07/25
2017/07/24
2017/07/06
2017/07/06
2017/06/30
2017/06/27
2017/06/20
2017/06/09
2017/05/25
2017/04/20
Fiscal 2016
2017/03/24
2017/03/23
2017/03/08
2017/02/24
2017/02/06
2017/01/30
2017/01/23
2017/01/19
2017/01/16
2017/01/10
2016/12/12
2016/11/28
2016/11/28
2016/11/11
2016/11/09
2016/10/27
2016/10/26
2016/10/24
2016/10/06
2016/10/05
2016/09/27
2016/09/12
2016/08/18
2016/08/09
2016/08/01
2016/07/28
2016/07/27
2016/07/19
2016/07/08
2016/07/06
2016/05/27
2016/05/10
2016/04/05
Fiscal 2015
2016/03/28
2016/03/23
2016/03/22
2016/03/17
2016/03/08
2016/02/25
2016/02/17
2016/02/05
2016/01/07
2016/01/05
2015/12/16
2015/09/14
2015/09/08
2015/09/04
2015/08/24
2015/08/20
2015/08/18
2015/08/05
2015/07/10
2015/07/06
2015/07/01
2015/06/12
2015/06/02
2015/04/20
2015/04/17
2015/04/09
2015/04/09
2015/04/09
2015/04/06
Fiscal 2014
SPECIAL
Overview of NII 2024
Guidance of Informatics Program, SOKENDAI 24-25
NII Today No.102(EN)
NII Today No.101(EN)
SINETStream Use Case: Mobile Animal Laboratory [Bio-Innovation Research Center, Tokushima Univ.]
NII Today No.100(EN)
The National Institute of Information Basic Principles of Respect for LGBTQ
DAAD
Copyright© National Institute of Informatics