Adder Protocol

Tutorial by Caitlin MacFadyen

The body of the protocol essentially involves the client, C, sending two integers to the server, S, which adds the two numbers and returns the result to C. This example, however, also shows the use of recursive protocols and how they are handled by Scribble and StMungo.