A Methodology and Algorithms for Efficient Interprocess Communication Synthesis from System Description in SDL.

Bengt Svantesson, Shashi Kumar, Ahmed Hemani

Browse the full VLSID paper archive.