Friday, June 24, 2011

Ugo Montanari's talk 22 June 2011

on the occasion of a celebration in Milan in honour of Gianni Degli Antoni.

Ugo spoke about his latest work about a compositional calculus for Petri nets using the wire calculus of Sobocinski.

I was disappointed that he didn't mention our work on connectors, which we have spoken about for years, including in joint projects, and which goes back to 1997 or even 1987.

Read more »

Labels: ,

Wednesday, June 15, 2011

Kindle

I mentioned in an earlier post that I had bought an Amazon Kindle reader. At that point I had had the Kindle for a week or so and it seemed to me a revolutionary device (more so for me than an Ipad).
Read more »

Labels: ,

Tuesday, June 14, 2011

Tangled Circuits

The work Nicoletta and I did with Bob Rosebrugh during his visit concerned tangled circuits; that is, adding to our model of circuits the possibility that the tangling of the wires might be recorded. This is related to the previous post here.
In that post I described, or better hinted at, a new category in which tangles might be represented, which I will now call TRel. Let me describe that category here.
Read more »

Labels: , ,

Cospan Span (Graph)

We (Nicoletta and I) have been lecturing at the University of Milan at Bicocca this fortnight on our work on an algebra of automata for application to concurrent, distributed, hierarchical systems partly described in this post.
One thought occurred to me before the lecture today which I do not usually emphasize in lectures to computer scientists: the algebra we describe is really standard categorical algebra invented for completely different reasons.
Read more »

Labels: ,