next up previous
Next: Refal encoding Up: More parameterized protocols Previous: Result of supercompilation

Reader-Writer protocol

The description of the parameterized Reader-Writer protocol is taken from the paper Laurent Fribourg. Petri Nets, Flat Languages and Linear Arithmetic, 9th Int. Workshop. on Functional and Logic Programming, pp. 344-365, 2000.


Alexei Lisitsa 2005-07-14