Cargando…
LHCb: Analysing DIRAC's Behavior using Model Checking with Process Algebra
DIRAC is the Grid solution designed to support LHCb production activities as well as user data analysis. Based on a service-oriented architecture, DIRAC consists of many cooperating distributed services and agents delivering the workload to the Grid resources. Services accept requests from agents an...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2012
|
| Acceso en línea: | http://cds.cern.ch/record/1451302 |