master

BranchesTags

Go to file

Code

Open more actions menu

Latest commit

 

History

35 Commits

35 Commits

Folders and files

Name		Name	Last commit message	Last commit date
CCGrid_paper.docx		CCGrid_paper.docx
CCGrid_paper.pdf		CCGrid_paper.pdf
CCGrid_paper.tex		CCGrid_paper.tex
DIRAC_Architecture.png		DIRAC_Architecture.png
DIRAC_WMS.png		DIRAC_WMS.png
DIRAC_WMS1.png		DIRAC_WMS1.png
DiaGraphica.png		DiaGraphica.png
DiracSystem.png		DiracSystem.png
DiracSystem1.png		DiracSystem1.png
Email-FailedJobs-FinishedSuccesfully.txt		Email-FailedJobs-FinishedSuccesfully.txt
EventuallyDeleted.png		EventuallyDeleted.png
FORTE2014_cameraReady.pdf		FORTE2014_cameraReady.pdf
FailedToRunning.mcf		FailedToRunning.mcf
IEEEtran.bst		IEEEtran.bst
IEEEtran.cls		IEEEtran.cls
NoTransitFromDeleted.png		NoTransitFromDeleted.png
NoTransitFromDeleted.trc		NoTransitFromDeleted.trc
NoTransitFromDone_ZombieJobs.mcf		NoTransitFromDone_ZombieJobs.mcf
NoTransitFromKilled_WMS.mcf		NoTransitFromKilled_WMS.mcf
PropertyViolation.png		PropertyViolation.png
SMS.mcrl2		SMS.mcrl2
SMS_NoTransitFromDeleted.png		SMS_NoTransitFromDeleted.png
SMS_simplified.png		SMS_simplified.png
Simulator.png		Simulator.png
Simulator1.png		Simulator1.png
TraceBug_FailedToDone.trc		TraceBug_FailedToDone.trc
WMS_modified.mcrl2		WMS_modified.mcrl2
WMS_withMonitor.mcrl2		WMS_withMonitor.mcrl2
bibliography.bib		bibliography.bib
dirac-primary-states.png		dirac-primary-states.png
eventuallyDeleted.mcf		eventuallyDeleted.mcf
eventuallyDeleted.trc		eventuallyDeleted.trc
myLibrary.bib		myLibrary.bib
paper.tex		paper.tex
paper_update.pdf		paper_update.pdf
paper_update.tex		paper_update.tex
references.bib		references.bib
url.sty		url.sty
View all files

About

No description, website, or topics provided.

Activity

Stars

1 star

Watchers

2 watching

Forks

1 fork

Report repository

Releases

Packages

Contributors

Languages