FDR Workspace
ConnPool.fdr2 My model for the example of "Connections Manager" from the paper "Practical Application of CSP and FDR to Software Design"
fdr2manual.pdf fdr2 user manual
test.fdr2 scratch file for testing
fdr-2.94-academic-linux64.tar.gz installation package for fdr2