A Pi-calculus formalism for discrete event simulation.

Jianrui Wang, Richard A. Wysk

Browse the full WSC paper archive.