A Formal Methodology for Developing Enterprise Systems Procedurally: Homotopy, Pi-Calculus and Event-Driven Programs.

Kenji Ohmori, Tosiyasu L. Kunii

Browse the full CW paper archive.