An Implicitly-Typed Deadlock-Free Process Calculus (0)

by Naoki Kobayashi , Shin Saito , Eijiro Sumii
Venue:In Proc. of Workshop on High-Level Concurrent Language (HLCL’98), volume 16(3) of ENTCS
Citations:27 - 8 self