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.