Filters








1 Hit in 2.0 sec

Generalising Projection in Asynchronous Multiparty Session Types [article]

Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
2022 arXiv   pre-print
35:18 Generalising Projection in Asynchronous Multiparty Session Types ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, volume 11423 of Lecture Notes in Computer Science, pages 583-610  ...  Haitao Software, ETAPS 2012, Tallinn, Estonia, March 24 -April 1, 2012.  ...  Lang., 3(POPL):30:1-30:29, 2019. Bernardo Toninho, Luís Caires, and Frank Pfenning. Dependent session types via intuitionistic linear type theory.  ... 
arXiv:2107.03984v3 fatcat:dcxpflxdwnewffkbz5ftmdhkru