Monthly Archives: July 2009

Process algebra (updated)

Posted on July 9, 2009 by admin

The first part of a critique of process algebra is below.  This relates to the Recursion and State paper and explicatory blog entry where I show how to compose classical automata and define them “abstractly” and to a complaint about … Continue reading →

Posted in specification | Tagged , , | Leave a comment

Wind Power slowdown in Germany

Posted on July 9, 2009 by admin

The idea that Germany is playing catch-up with Europe’s most promising strategy for renewable energy is jarring. This is Germany, after all, the country that 11 years ago put the Green Party in government, decided to phase out nuclear power, … Continue reading →

Posted in green power, software business | Leave a comment

chrome OS

Posted on July 8, 2009 by admin

SAN FRANCISCO — In a direct challenge to Microsoft, Google announced late Tuesday that it is developing an operating system for PCs based on its Chrome Web browser. The move sharpens the already intense competition between Google and Microsoft, whose … Continue reading →

Posted in operating systems, software business | Tagged , , | Leave a comment