0 Forks
17 Stars
17 Watchers

sessions

Library to provide session types to allow for static verification of protocols between concurrent computations.

How to download and setup sessions

Open terminal and run command
git clone https://github.com/essdotteedot/sessions.git
git clone is used to create a copy or clone of sessions repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with sessions https://github.com/essdotteedot/sessions/archive/master.zip

Or simply clone sessions with SSH
[email protected]:essdotteedot/sessions.git

If you have some problems with sessions

You may open issue on sessions support forum (system) here: https://github.com/essdotteedot/sessions/issues