Alban Ponse   -   UvA homepage    

UvA-section and address         UvA-Science search         Short-circuit logic       Luctor Ponse

• Selected publications and technical reports
• The Journal of Logic and Algebraic Programming
• Education 2011/2012
• Handbook of Process Algebra
• IFIP WG 1.8: Concurrency Theory