Modeling Concurrent Systems with Shared Resources | Publicación