Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
authFullName_s : Frank Pfenning
Page :
sorted by
Image document

Manifestly Phased Communication via Shared Session Types

 Chuta Sano , Stephanie Balzer , Frank Pfenning
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.23-40, ⟨10.1007/978-3-030-78142-2_2⟩
Conference papers hal-03387824v1
Page :