Last ned Linnk AI
•
Forskningsassistent
>
Logg Inn
innsikt
-
Session Type Projection
Projection Operator for Multiparty Session Types with Automata
Efficient and sound projection operator for multiparty session types with automata.
1