Get started
Award

Multiparty Session Types: Theory and Conversation-Oriented Programming

Description: Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Amount: £342,400
Funding type: research
Start date: 2009-06-30
End date: 2012-12-31
Subfield: Software
Funded outputs count: 56
Funder award ID: EP/G015481/1
OpenAlex ID: G2864570838
Angiotensin converting enzyme inhibitors from medicinal plants: a molecular docking and dynamic simulation approach
2022 · Olumide Samuel Fadahunsi, Olubukola Sinbad Olorunnisola, et al. · In Silico Pharmacology · 9
Monitoring networks through multiparty session types
2017 · Laura Bocchi, Tzu-Chun Chen, et al. · Theoretical Computer Science · 66
PDF
Timed runtime monitoring for multiparty conversations
2017 · Rumyana Neykova, Laura Bocchi, et al. · Formal Aspects of Computing · 53
Multiparty Asynchronous Session Types
2016 · Kohei Honda, Nobuko Yoshida, et al. · Journal of the ACM · 358
PDF
Globally Governed Session Semantics
2014 · Dimitrios Kouzapas, Nobuko Yoshida · Logical Methods in Computer Science · 30
PDF
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
2014 · Romain Demangeon, Kohei Honda, et al. · Formal Methods in System Design · 65
On asynchronous eventful session semantics
2014 · DIMITRIOS KOUZAPAS, NOBUKO YOSHIDA, et al. · Mathematical Structures in Computer Science · 33
Global escape in multiparty sessions
2014 · SARA CAPECCHI, ELENA GIACHINO, et al. · Mathematical Structures in Computer Science · 67
PDF
Structuring Communication with Session Types
2014 · Kohei Honda, Raymond Hu, et al. · Lecture notes in computer science · 28
On the Behaviour of General-Purpose Applications on Cloud Storages
2014 · Laura Bocchi, Hernán Melgratti · Lecture notes in computer science
The Scribble Protocol Language
2014 · Nobuko Yoshida, Raymond Hu, et al. · Lecture notes in computer science · 120
Session Types Go Dynamic or How to Verify Your Python Conversations
2013 · Rumyana Neykova · Electronic Proceedings in Theoretical Computer Science · 11
Towards deductive verification of MPI programs against session types
2013 · Eduardo R. B. Marques, Francisco Martins, et al. · Electronic Proceedings in Theoretical Computer Science · 15
Trustworthy Pervasive Healthcare Services via Multiparty Session Types
2013 · Anders S. Henriksen, Lasse Nielsen, et al. · Lecture notes in computer science · 8
A Multiparty Multi-session Logic
2013 · Laura Bocchi, Romain Demangeon, et al. · Lecture notes in computer science · 22
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
2013 · Pierre-Malo Deniélou, Nobuko Yoshida · Lecture notes in computer science · 127
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
2013 · Mario Coppo, Mariangiola Dezani-Ciancaglini, et al. · Lecture notes in computer science · 38
PDF
Practical Interruptible Conversations
2013 · Raymond Hu, Rumyana Neykova, et al. · Lecture notes in computer science · 36
Compositional Choreographies
2013 · Fabrizio Montesi, Nobuko Yoshida · Lecture notes in computer science · 69
Monitoring Networks through Multiparty Session Types
2013 · Laura Bocchi, Tzu-Chun Chen, et al. · Lecture notes in computer science · 69
PDF
SPY: Local Verification of Global Protocols
2013 · Rumyana Neykova, Nobuko Yoshida, et al. · Lecture notes in computer science · 46
Parameterised Multiparty Session Types
2012 · Pierre-Malo Denielou, Nobuko Yoshida, et al. · Logical Methods in Computer Science · 74
PDF
Structured Communication-Centered Programming for Web Services
2012 · Marco Carbone, Kohei Honda, et al. · ACM Transactions on Programming Languages and Systems · 139
PDF
Session types: towards safe and fast reconfigurable programming
2012 · Nicholas Ng, Nobuko Yoshida, et al. · ACM SIGARCH Computer Architecture News · 11
Verification of MPI Programs Using Session Types
2012 · Kohei Honda, Eduardo R. B. Marques, et al. · Lecture notes in computer science · 24