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 Algebraic Process Calculi: The First Twenty Five Years and Beyond
Algebraic
Process Calculi: The First Twenty Five Years and Beyond
Algebraic process calculi have been the subject of active research for
about a quarter of century. Milner's seminal monograph "A Calculus of
Communicating Systems" (CCS), presenting CCS and much of its
underlying theory, was published as volume 92 of Springer-Verlag's
Lecture Notes in Computer Science in 1980, and it is remarkable how
much of its material has stood the test of time. Some of the ideas
underlying CCS were influenced by Hoare's earlier proposal of the
language "Communicating Sequential Processes" (CSP) in a seminal 1978
paper in Communications of the ACM, whose underlying semantic theory
was elaborated upon in a paper by Brookes, Hoare and Roscoe published
in the Journal of the ACM in 1984. The algebraic aspects in process
theory became central in the development of the theory of ACP,
initiated by Bergstra and Klop with their report entitled "Fixed point
semantics in process algebras" from 1982. A plethora of other process
algebraic formalisms have been proposed and studied since then, and
research in this field is still producing a large number of
interesting results and fruitful ideas.
The purpose of this meeting is to celebrate the first twenty five
years of research in the field of algebraic process calculi by
reflecting on the achievements within this field, and sowing the seeds
for its healthy future development by highlighting the most important
open problems and future directions in the field, and stimulating
international cooperation. Special emphasis will also be given to new
application areas.
Seminar
Schedule
In order to stimulate discussions, we shall
allocate 45 minutes per presentation. We strongly suggest
that the speakers leave 10 minutes at the end of their presentation
for discussions regarding the
work they present, and related open
problems and challenges.
Output of the Workshop
As we did for the 2003 edition of this workshop, we plan to issue a
volume in the BRICSNotes Series with
slides of the contributed talks. (See volume NS-03-03 in the BRICS
Notes Series for the slides of contributed talks for the first edition
of the workshop.) There will be a special issue of the Journal of Logic and Algebraic
Programming (JLAP) devoted to the event.
A web page with a list of open
problems and
future directions in process algebra that were
discussed during the first edition of the workshop is now available in
draft form. We plan to expand it with the challenges suggested by the
new installment of the event.
Location
The meeting will be held in the small medieval hilltop town of
Bertinoro.
This town is in Emilia Romagna about 50km east of
Bologna at an elevation of
about 230m. Here is a map putting it in
context. It is
easily reached by train and taxi from Bologna
and is close to many splendid
Italian locations such as Ravenna, a treasure
trove of
byzantine art and history, and the Republic of San
Marino (all within 35km) as well as some less well-known
locations like the
thermal springs of Fratta
Terme
and the castle and monastic gardens of Monte
Maggio.
Bertinoro can also be a base for visiting some of
the better-known Italian
locations such as Padua, Ferrara, Vicenza,
Venice, Florence and Siena.
Bertinoro itself is picturesque,
with many
narrow streets and walkways winding around the central
peak. The meeting
will be held in a redoubtable ex-Episcopal
fortress that has been converted by the University of Bologna
into a modern
conference
center
with computing
facilities and Internet access. From the fortress you can
enjoy a
beautiful the vista
that
stretches from the Tuscan Appennines to the Adriatic coast.