Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces.

Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson

Browse the full Coordination paper archive.