A Concurrent Model for Linear Logic

by Emmanuel Beffara
Citations:14 - 3 self