Some of My Favourite Results in Classic Process Algebra
Luca Aceto September 2003 |
Abstract:
This note collects some of the author's favourite results in
classic process algebra, broadly construed, and points to some open problems
in the field. It is hoped that this piece will offer a modest contribution to
the healthy development of this area of research
Available as PostScript, PDF, DVI. |