# Getting Started¶

In this section we give a brief overview of the basics of operating FDR4. Firstly, we give recommended installation instructions before giving a short tutorial introduction to FDR4. If FDR4 is already installed, simply skip ahead to A Short Tutorial Introduction.

Warning

It is strongly recommended that when using FDR you have at least a basic knowledge of CSP, or are acquiring this by studying it. Roscoe’s books The Theory and Practice of Concurrency and Understanding Concurrent Systems each contains an introduction to CSP that covers the use of FDR and, in particular, covers CSPM.

## Installation¶

To install FDR4 simply follow the installation instructions below for your platform.

### Linux¶

The recommended method of installing FDR is to add the FDR repository using the software manager for your Linux distribution. This makes it extremely easy to update to new FDR releases, whilst also ensuring that FDR is correctly installed and accessible.

If your distribution uses yum (e.g. RHEL, CentOS or Fedora) as its package manager, the following commands can be used to install FDR:

sudo yum install fdr

The first of the above commands adds the FDR software repository to yum, whilst the second command installs fdr. If your distribution uses apt-get (e.g. Debian or Ubuntu), then the following commands can be used to install FDR:

sudo apt-get update
sudo apt-get install fdr

The first of these adds the FDR software repository to apt-get, the second installs the GPG key that is used to sign FDR releases, the third fetches new software from all repositories, whilst the last command actually installs FDR.

Alternatively, if your system does not use apt-get or yum, FDR can also be installed simply by downloading the tar.gz package. To install FDR from such a package, firstly extract it. For example, if you downloaded FDR4 to ~/Downloads/fdr-linux-x86_64.tar.gz, then it can be extracted by running the following commands in a terminal:

tar xzvf fdr-linux-x86_64.tar.gz

Next, pick an installation location and copy the FDR4 files to the location. For example, you may wish to install FDR4 in /usr/local and can do so as follows:

At this point FDR4 can be run be executing /usr/local/fdr4/bin/fdr4. In order to make it accessible from the command line simply as fdr4, a symbolic link needs to be created from a location on $PATH to /usr/local/fdr4/bin/fdr4. For example, on most distributions /usr/local/bin is on$PATH and therefore running:

ln -s /usr/local/fdr4/bin/fdr4 /usr/local/bin/fdr4

The above command may have to be run using sudo, i.e. sudo ln -s /usr/local/fdr4/bin/fdr4 /usr/local/bin/fdr4. At this point you should be able to run FDR4 by simply typing fdr4 into the command prompt.

### Mac OS X¶

To install FDR4 on Mac OS X, simply open the downloaded application, which is named FDR4. On the first run, FDR4 will offer to move itself to the Applications folder. FDR4 can now be opened like any other program, by double clicking on FDR4 within Applications.

Warning

When running Mac OS X 10.8 or later with Gatekeeper enabled, in order to open FDR4 you need to right-click on FDR4, and select ‘Open’.

## A Short Tutorial Introduction¶

It is strongly recommended that when using FDR you have at least a basic knowledge of CSP, or are acquiring this by studying it. Roscoe’s books Understanding Concurrent Systems and Theory and Practice of Concurrency each contains an introduction to CSP that covers the use of FDR and particular covers CSPM. This introduction therefore does not attempt to give a detailed introduction to CSP.

As a quick introduction to FDR, including many of the new features in FDR4, we recommend downloading and completing the simple exercises in the following file.