Descarga Linnk AI
•
Asistente de Investigación
>
Iniciar sesión
Información
-
Session Type Projection
Projection Operator for Multiparty Session Types with Automata
Efficient and sound projection operator for multiparty session types with automata.
1
