Navarro Perez, Juan A. Max Planck Society;
Rybalchenko, Andrey Group A. Rybalchenko, Max Planck Institute for Software Systems, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Navarro Perez, J. A., & Rybalchenko, A. (2009). Operational semantics for declarative networking. In A. Gill, & T. Swift (Eds.), Practical Aspects of Declarative Languages (pp. 76-90). Berlin: Springer.