Pi Calculus:
Sorry for the slow pace of things around here lately; life interferes sometimes. I've mentioned my fathers illness before; things took a drastic change for the worse a week ago, which made things more than a little bit crazy....
Read on »
Posted on May 13, 2007 9:39 PM • 8 Comments •
Before diving off into real content, the name of my little π-calculus monstrosity has been chosen. As several people recommended in the comments, I'm going to go with Pica. So, today, we're going to take the dive, and start...
Read on »
Posted on May 1, 2007 9:45 PM • 19 Comments •
Since my post on datatypes for my π-calculus language, I've gotten a bunch of questions from people who (I guess) picked up on the series after the original post where I said that the idea of the series was...
Read on »
Posted on April 29, 2007 9:47 PM • 33 Comments •
For process equivalence, I informally introduced the notion of types for channels. For the purpose of describing type equivalence, all we needed to know is that there is a notion of channel typing, and that the channel types of...
Read on »
Posted on April 26, 2007 9:58 PM • 20 Comments •
Before moving on, there's one question that I thought was important enough to promote up to the front page, instead of just answering it in the comments. A commenter asked about process replication, !P, wanting to know if it...
Read on »
Posted on April 23, 2007 8:30 AM • 3 Comments •
There've been questions in the comments about how to use the adder I explained in the last post. That's a darn good question: I can't believe I actually forgot to include that! As a reminder (and a bit of...
Read on »
Posted on April 18, 2007 10:09 PM • 3 Comments •
Given a calculus, one of the things that I always want to see is how it can do some kind of meaningful computation. The easiest way to do that is to start building numbers and basic arithmetic....
Read on »
Posted on April 18, 2007 8:00 AM • 10 Comments •
As I did with my first attempt at explaining π-calculus, I think that before getting into any of the deep semantics, it's good to look at a few examples of things you can build with π-calculus. But before getting...
Read on »
Posted on April 17, 2007 8:00 AM • 17 Comments •
Now that things are settling down a little bit, I wanted to get back to the stuff I was writing about π-calculus. But looking back at what I've already written, I think I did a terrible job of introducing...
Read on »
Posted on April 16, 2007 8:05 AM • 9 Comments •
Ok. So I'm still tweaking syntax, to try to find a way of writing π-calculus in a way that's easy for me to write in my editor, and for you to read in your browser. Here's the latest version:...
Read on »
Posted on March 24, 2007 5:50 PM • 11 Comments •
As a refresher for me, and to give some examples to help you guys understand it, I'm going to go through a couple of examples of interesting things you can build with π-calculus. We'll start with a simple way...
Read on »
Posted on March 22, 2007 8:36 PM • 9 Comments •