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

Authors:
Eiichi Horita;Ken Mano
Affiliations:
-;-
Venue:
ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
Year:
1997

Citing 0
Cited 1

On Formal Modeling of Agent Computations

FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers

Quantified Score

Hi-index	0.00

Visualization

Abstract