Guus Bosman

software engineering director


You are here

chess

CSP and IOA

Yesterday and today I've been looking into the difference between two Formal Methods: CSP and IOA. Both are candidates to be used in my internship. I'm exploring what Chess exactly wants from the new language, and what the pros and cons are of the two languages. Quite interesting stuff.

Recent comments

Recently read

Books I've recently read: