[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[news.eclipse.modeling.m2m] [ATL] New ATL use case: From Hoare's Monitors to Dijkstra's Semaphores 
Dear all,

A new ATL use case is available: From Hoare's Monitors to Dijkstra's Semaphores

This is a classic in synchronization. We propose an automatic translation from Hoare's monitors into Dijkstra's semaphores. A complete reprint of this paper is available at: http://www.acm.org/classics/feb96/

The use case is available at: http://www.eclipse.org/m2m/atl/usecases/MonitorToSemaphore/

Regards,
Freddy.

--
Freddy Allilaire - ATLAS Group (INRIA & LINA)
http://www.sciences.univ-nantes.fr/lina/atl/contrib/allilaire