## Usage examples
- [Example procedures](example_procedures.md)
    - [Simple geo-fencing](example_procedures.md#geo-fencing) - A simple geo-fencing procedure based on manhattan distance from a fixed point.
    - [Fibonacci Sequence](example_procedures.md#fibonacci-sequence) - A procedure to calculate the $n$th term of the Fibonacci sequence.

- [Example application](example_application.md)
    - A simple server application with `libcsp`, `libparam`, and `csp_proc`, demonstrating end-to-end setup and procedure execution with the Fibonacci sequence example.