remenska/ProcessPool
Public repository.
Developer Profile
remenska
Discovered public repositories for remenska in the GitHub catalog.
remenska/PASSWebStart
Java web start alternative of PASS! to be used as a front-end to mCRL2, for property elucidation.
remenska/Grammars
Grammars
remenska/PASS
Property ASSistant
remenska/FM2014
Public repository.
remenska/PropertySpecification
PropertySpecification
remenska/CCGrid
Public repository.
remenska/Charmy
Charmy/PSC
remenska/Bibliography
Public repository.
remenska/FGCS
Public repository.
remenska/NFM
NFM
remenska/mCRL2_Executors
mCRL2 models of the DIRAC executor framework
remenska/UML-MARTE
UML-MARTE Executors framework
remenska/Gaudi-FileStager
Public repository.
remenska/Paper-collaboration
Public repository.
remenska/DIRAC
DIRAC Grid