Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]
Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

A Piece by Pawel Sobocinski on Process Congruences from Reaction Rules

7 September 2004

A quick posting to announce that I have just posted the piece Process Congruences from Reaction Rules by Pawel Sobocinski that will appear in the Concurrency Column, Bulletin of the EATCS, October 2004.

Pawel's piece gives an excellent introduction to an approach based on category theory for the development of a mathematical theory that can cover several key concepts in the theory of process calculi. The main aim of this approach is to develop a general mathematical framework within which one can study notions of behavioural semantics for formalisms that, like process calculi, Petri nets, bigraphs and graph grammars, have an underlying reduction-based operational semantics. Pawel's contribution presents the general agenda of this research programme, puts it in the context of the classic study of behavioural semantics for process calculi, and reports on some of his contributions to this line of research. Enjoy it!

For the record, Pawel has also just handed in his doctoral dissertation. The writing of this piece immediately after putting the finishing touches to his PhD thesis was well beyond the call of duty. Thanks Pawel!