Pi-Calculus Modeling for Cyberworlds Systems using the Fibration and Cofibration Duality.

Kenji Ohmori, Tosiyasu L. Kunii

Browse the full CW paper archive.