| | |
Summary: The General Setting
The Technical Content, Alas
Our Contribution
Conclusion
Ready to Preorder
Get Your BCCSP Axiomatization for Free!
Luca Aceto1, Wan Fokkink2 and Anna Ingolfsdottir1
1Reykjavik University
2Vrije Universiteit Amsterdam
CALCO 2007, Bergen, 24 August 2007
Thanks to The Icelandic Research Fund for partial financial support.
Luca Aceto, Wan Fokkink and Anna Ingolfsdottir Ready to Preorder
The General Setting
The Technical Content, Alas
Our Contribution
Conclusion
Equalities Between Programs
Abstracting the Problem: (Finite) Axiomatizations
The Role of Equalities Between Programs
Motto: In Computer Science, we use formal languages to
|
