"An Abstract Machine for Classes of Communicating Agents Based on Deduction."

Pierre E. Bonzon (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics