Home
About
EU-CHECK
Our Community
Partners
Associates
Related Projects
Our Results
Work Packages
Books
Deliverables
Exploitation and Innovation Assets
Publications
Recommendations
Events
Momentum!
Evening Panels
Concertation Events
Webinars
News
Press Releases
COVID-19
Contact
YouTube
Navigation
Home
About
EU-CHECK
Our Community
Partners
Associates
Related Projects
Our Results
Work Packages
Books
Deliverables
Exploitation and Innovation Assets
Publications
Recommendations
Events
Momentum!
Evening Panels
Concertation Events
Webinars
News
Press Releases
COVID-19
Contact
YouTube
Home
About
EU-CHECK
Our Community
Partners
Associates
Related Projects
Our Results
Work Packages
Books
Deliverables
Exploitation and Innovation Assets
Publications
Recommendations
Events
Momentum!
Evening Panels
Concertation Events
Webinars
News
Press Releases
COVID-19
Contact
YouTube
Home
On the Monitorability of Session Types, in Theory and Practice
On the Monitorability of Session Types, in Theory and Practice
Romy
21 September 2021
Post navigation
< Previous article
Previous post:
Next article >
Next post:
< Back to News
Post navigation
< Towards Probabilistic Session-Type Monitoring
Precise Subtyping for Asynchronous Multiparty Sessions >