Now on ScienceBlogs: Are testosterone-deficient men responsible for shortages of a life-saving drug for women with breast cancer?

Enter to Win

Good Math, Bad Math

Finding the fun in good math; Shredding bad math and squashing the crackpots who espouse it.

Search

Profile

markcc.jpg
Mark Chu-Carroll (aka MarkCC) is a PhD Computer Scientist, who works for Google as a Software Engineer. My professional interests center on programming languages and tools, and how to improve the languages and tools that are used for building complex software systems.

Donors Choose

Other Information

Add this blog to my Technorati Favorites!

Recent Posts

Recent Comments

Categories

Blogroll

Old Topic Indices

Great Online Books

Pi Calculus:

The Go I Forgot: Concurrency and Go-Routines

Category: programming

A couple of people pointed out that in my wednesday post about Go, I completely left out the concurrency stuff! That's what I get for rushing the post - I managed to leave out one of the most interesting...

Read on »

Process Declarations in Pica

Category: 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 »

Moving on: π-calculus and common programming idioms

Category: Pi Calculus

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 »

Why am I doing this Pi-Calculus Language Thing?

Category: Pi Calculus

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 »

Representing Data in a π-Calculus Programming Language

Category: Pi Calculus

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 »

Process Equivalence in π-calculus

Category: Pi Calculus

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 »

Numbers Using Processes and Messages, Part 2: Why we don't want to!

Category: Pi Calculus

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 »

Numbers Using Processes and Messages: Part 1, Addition

Category: Pi Calculus

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 »

The π-Calculus Storage Cell

Category: Pi Calculus

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 »

Back to π-Calculus: a better introduction

Category: Pi Calculus

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 »


Stats

ScienceBlogs

Search ScienceBlogs:

Go to:

Advertisement
Collective Imagination
Enter to win the daily giveaway
Advertisement
Collective Imagination

© 2006-2009 ScienceBlogs LLC. ScienceBlogs is a registered trademark of ScienceBlogs LLC. All rights reserved.