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: | Remenska, Daniela |
---|---|
Lenguaje: | eng |
Publicado: |
2012
|
Acceso en línea: | http://cds.cern.ch/record/1451302 |
Ejemplares similares
-
Analysis of DIRAC's behavior using model checking with process algebra
por: Remenska, Daniela, et al.
Publicado: (2012) -
Bringing Model Checking Closer to Practical Software Engineering
por: Remenska, Daniela
Publicado: (2016) -
LHCbDirac: Distributed computing in LHCb
por: Stagni, F, et al.
Publicado: (2012) -
LHCb: LHCbDirac is a DIRAC extension to support LHCb specific workflows
por: Stagni, Federico
Publicado: (2012) -
LHCb DIRAC Containers
por: McNab, Andrew
Publicado: (2018)