Contact DMCA Privacy

Robuta

https://www.sfn.org/meetings/neuroscience-2024/sessions-and-events/annual-meeting-session-types
Society for Neuroscience - Annual Meeting Session Types
annual meetingsession typessocietyneuroscience
https://zenodo.org/records/6882808
Multiparty GV: Functional Multiparty Session Types With Certified Deadlock Freedom (Coq...
The artifact for Multiparty GV. See README.md for details. This artifact contains source (mpgv.zip) and a VM (vm.zip).
session typesmultipartygvfunctionalcertified
https://www.sfn.org/meetings/neuroscience-2026/sessions-and-events/annual-meeting-session-types
Society for Neuroscience - Annual Meeting Session Types
annual meetingsession typessocietyneuroscience
https://www.sfn.org/Meetings/Neuroscience-2019/Sessions-and-Events/Annual-Meeting-Session-Types
Society for Neuroscience - Annual Meeting Session Types
annual meetingsession typessocietyneuroscience