Home
About
Our Community
Partners
Associates
Related Projects
Work Packages
Our Results
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
Our Community
Partners
Associates
Related Projects
Work Packages
Our Results
Books
Deliverables
Exploitation and Innovation Assets
Publications
Recommendations
Events
Momentum!
Evening Panels
Concertation Events
Webinars
News
Press Releases
COVID-19
Contact
YouTube
Home
About
Our Community
Partners
Associates
Related Projects
Work Packages
Our Results
Books
Deliverables
Exploitation and Innovation Assets
Publications
Recommendations
Events
Momentum!
Evening Panels
Concertation Events
Webinars
News
Press Releases
COVID-19
Contact
YouTube
Home
Towards Probabilistic Session-Type Monitoring
Towards Probabilistic Session-Type Monitoring
Romy
21 September 2021
Post navigation
< Previous article
Previous post:
Next article >
Next post:
< Back to News
Post navigation
< Performing Security Proofs of Stateful Protocols
On the Monitorability of Session Types, in Theory and Practice >