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

Java Meta-Locking Algorithm

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.


Alexei Lisitsa 2005-07-14