Applicative communicating processes in first order logic.

Marco Bellia Enrico Dameri Pierpaolo Degano Giorgio Levi Maurizio Martelli Applicative communicating processes in first order logic. 1-14 1982 conf/programm/1982 Symposium on Programming db/conf/programm/programm1982.html#BelliaDDLM82