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

Kenji Ohmori, Tosiyasu L. Kunii. Pi-Calculus Modeling for Cyberworlds Systems using the Fibration and Cofibration Duality. In International Conference on Cyberworlds 2008, Hangzhou, China, 22-24 September 2008, Proceedings. pages 363-370, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.