22.1 Concurrent Agenda Model



Denys Duchier, Claire Gardent and Joachim Niehren
Version 1.3.99 (20050412)