On specifying services and synthesizing protocols for real-time applications.
['Ahmed Khoumsi', 'Gregor von Bochmann', 'Rachida Dssouli']
On specifying services and synthesizing protocols for real-time applications.