Modeling Concurrent Systems with Shared Resources.

ngel Herranz-Nieva, Julio Mario, Manuel Carro, Juan Jos Moreno-Navarro

Browse the full FMICS paper archive.