next up previous
Next: Java Meta-Locking Algorithm Up: Verification via Supercompilation Previous: Result of supercompilation

More parameterized protocols


Subsections
Alexei Lisitsa 2005-07-14