next up previous contents
Next: References Up: CONFER-2 CONcurrency and Functions: Previous: Proofs systems

Appendices



1/10/1998