"Nepi²: A Two-Level Calculus for Network Programming Based on the ..."

Eiichi Horita, Ken Mano (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics