I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Applying Prolog to develop distributed systems


Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, and Atul Singh. Applying prolog to develop distributed systems. TPLP, 10(4-6):691–707, 2010.

Suggested BibTeX entry:

    author = {Nuno P. Lopes and Juan Antonio Navarro P{\'e}rez and Andrey Rybalchenko and Atul Singh},
    journal = {TPLP},
    number = {4-6},
    pages = {691-707},
    title = {Applying Prolog to develop distributed systems},
    volume = {10},
    year = {2010}

This work is not available online here.