Next: Refal encoding
Up: More parameterized protocols
Previous: More parameterized protocols
The description of the parameterized Java Meta-Locking algorithm is taken from the paper
Abhik Roychoudhury, I.V. Ramakrishnan, Inductively Verifying Invariant
Properties of Parameterized Systems, Automated Software Engineering, 11.
101-139, 2004.
Subsections
Alexei Lisitsa
2005-07-14