Metamorphosis Alpha Articles From Dragon
Logical Effort
1 IR 720/ Caroline Emery Focus author: Christopher Chase-Dunn Interstate System and Capitalist World Economy: One Logic or Two? International Studies Quarterly,
A logic for true concurrency Paolo Baldan and Silvia Crafa Universita’ di Padova.
Supporting theory: Immanuel M. Wallerstein
Adizes & Spiral Dynamics. “The value of an ‘Evolution vs a Revolution’ ”. The Integration Diagnosis.
An Open Framework for Certified System Software
An Open Framework for Certified System Software Xinyu Feng Yale University.
Theorem Proving