Skip to content

An Alternative Approach to Non-black-box Simulation in Fully Concurrent Setting.

Susumu Kiyoshima

VenueBTCC
Year2015
ProceedingsTCC (1)

Browse the full TCC paper archive.