Next: Refal encoding
Up: More parameterized protocols
Previous: Result of supercompilation
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.
Subsections
Alexei Lisitsa
2005-07-14