Formal Modelling of Burst-Mode Specifications in a Distributed Environment.

Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev

Browse the full FDL paper archive.