A Protocol for Multi-Threaded Processes with Choice in pi-Calculus
ICCS '01 Proceedings of the International Conference on Computational Science-Part II
The Nepi2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Hi-index | 0.00 |