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