%O Book 
%F Darondeau2001b
%A Darondeau, P.
%A Lavagno (eds.), L.
%T Proceedings of the Workshop on Synthesis of Concurrent Systems
%C Newcastle upon Tyne, UK
%8 June
%D 2001
%K nets