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]

Authors

Kenji Ohmori

This author has not been identified. Look up 'Kenji Ohmori' in Google

Tosiyasu L. Kunii

This author has not been identified. Look up 'Tosiyasu L. Kunii' in Google