Software synthesis of process-based concurrent programs (1998)

by B Lin
Venue:In Proceedings of the Design Automation Conference