Conference Papers

Formalizing Institutions as Executable Petri Nets for Distributed Robotic Systems

Proc. of ECAL 2011 - European Conference on Artificial Life, Paris, France