Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Author: personID (integer) : 1103662
Page :
sorted by
Image document

GoPi: Compiling Linear and Static Channels in Go

 Marco Giunti
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.137-152, ⟨10.1007/978-3-030-50029-0_9⟩
Conference papers hal-03273983v1
Image document

Java Typestate Checker

 João Mota , Marco Giunti , António Ravara
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.121-133, ⟨10.1007/978-3-030-78142-2_8⟩
Conference papers hal-03387832v1
Page :