Download Linnk AI
•
Autonomous Research Assistant
>
Sign In
insight
-
Session Type Projection
Projection Operator for Multiparty Session Types with Automata
Efficient and sound projection operator for multiparty session types with automata.
1