Exploring Actris Session Type Based Reasoning In Separation Logic
If you are looking for information about Actris Session Type Based Reasoning In Separation Logic, you have come to the right place.
- Separation logic
- Hyper
- Authors: Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas Presented at SPLASH 2019.
- Concurrent Incorrectness
- Concurrent Incorrectness
In-Depth Information on Actris Session Type Based Reasoning In Separation Logic
Presenter: Jonas Kastberg Hinrichsen Presented at POPL'2020. Higher-order concurrent MIT 6.826: Principles of Computer Systems https://6826.csail.mit.edu/2020/ Information about accessibility can be found at ... Abstract:
Paper and supplementary material: ...
We hope this detailed breakdown of Actris Session Type Based Reasoning In Separation Logic was helpful.
