Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm Ketil StølenFrank DederichsRainer Weber OriginalPaper Pages: 127 - 161
Retargeting a hardware compiler using protocol converters Geoffrey BrownWayne LukJohn O'Leary OriginalPaper Pages: 209 - 237