Earlier this week, I posted the concurrency column for the February issue of the Bulletin of the EATCS. This column will be devoted to a paper entitled Characteristic Formulae: From Automata to Logic co-authored by Anna Ingolfsdottir and me.
The piece is loosely based on three posts I wrote for this blog. (Parts 1, 2 and 3.) This is the first time that I use this blog as a a sort of scratchpad while planning the writing of a paper. I think that I'll experiment with this use of the blog again in the future---assuming that I have anything at all to write about, that is.