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 A Process Algebra Diary
"I love to
do research, I want to do research, I have to do research, and I hate
to sit down and begin to do research--- I always try to put it off just
as long as I can. ....Isn't there something I can (must?) do
first? Shouldn't I sharpen my pencils perhaps?"
--Paul Halmos, I Want to be a
Mathematician
What is This Page About?
Together with Wan Fokkink and Anna Ingólfsdóttir, I have been
thinking for a while that a way of offering a modest, but hopefully
useful, contribution to the healthy development of the field of
Process Algebra, broadly construed, would be to develop a
collection of web resources devoted to this field.
This collection of pages is intended to be an initial step in this
direction. Following the lead of the excellent Computational Complexity
Weblog maintained by Lance Fortnow, I plan
to use these pages to report on papers I find interesting---mostly,
but not solely, in Process Algebra---, some fun stuff in Mathematics
and Computer Science at large and on general issues related to
research, teaching and academic life.
Eventually, Anna, Wan and I hope to extend these pages to form a more
complete web resource for researchers in our field.
Comments on these pages are, of course, most welcome!