While doing some reading on rings, I came across some interesting stuff about Monoids and syntax. That's right up my alley, so I decided to write a post about that....
Read on »
Posted on March 6, 2008 9:39 PM • 3 Comments •
Colored Petri Nets The big step in Petri nets - the one that really takes them from a theoretical toy to a serious tool used by protocol developers - is the extension to colored Petri nets (CPNs). Calling them "colored"...
Read on »
Posted on October 10, 2007 9:03 AM • 8 Comments •
Among many of the fascinating things that we computer scientists do with graphs is use them as a visual representation of computing devices. There are many subtle problems that can come up in all sorts of contexts where being...
Read on »
Posted on October 1, 2007 8:11 PM • 12 Comments •
If you remember, a while back, I wrote about a British computer scientist named James Anderson, who claimed to have solved the "problem" of "0/0" by creating a new number that he called nullity. The creation of nullity was...
Read on »
Posted on September 9, 2007 11:01 AM • 41 Comments •
