behapi.rise@gmail.com
BehAPI
Behavioural Application Program Interfaces
About Us
Problem and Goals
Work-Packages
Partners
Funding Scheme and Official Web Page
Events
General Assembly
Workshops
Summer Schools
Calendar
Secondments
Results
Publications
Communication & Dissemination
Deliverables
Tools
News
GoPi: Compiling Linear and Static Channels in Go
Home
Publications
GoPi: Compiling Linear and Static Channels in Go
António Ravara
Posted on
July 23, 2020
No Comments
Post navigation
Previous
Reversing P/T Nets
Next
A Sound Algorithm for Asynchronous Session Subtyping
Leave a Reply
Cancel reply
You must be
logged in
to post a comment.
