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 Process Algebra: Open Problems and Future Directions
Process Algebra: Open Problems and Future Directions
Process algebra (also known under the names `process calculi' or
`process theory') is a successful method for reasoning about
concurrent systems that originates from original insights of key
figures like Bergstra, Hoare, Klop and Milner. The foundations of
process algebra have been studied thoroughly over the last twenty
years, and are still leading to large numbers of interesting results
and fruitful ideas. In recent years, powerful tool sets for the
analysis of concurrent systems, such as Caesar/Aldebaran, muCRL,
Concurrency Factory, FDR, FC2Tools and Concurrency Workbench
Edinburgh, have been developed on the basis of process algebra. A
wide range of advanced protocols and distributed algorithms have been
verified using process algebraic methods, and/or analyzed using the
aforementioned tool sets.
The aim of this workshop will be to highlight the most important open
problems in the field of process algebra, and to stimulate
international cooperation on their solutions. Special emphasis will
also be given to future directions in the study of process algebra,
and to new application areas.
Tentative Schedule
We expect to devote the five days to the following topics:
Monday: Probabilities and Performance Evaluation
Tuesday: Decidability and Complexity
Wednesday: Axiomatizations, Extensions and Expressiveness (the afternoon could be
devoted to a social event)
Thursday: Future Directions and New Applications
Friday: Security
Details to be announced in due course. .
Format for the Workshop
We expect to devote the mornings to invited talks on the theme of the
day. Time for initial collaborative work will be available on some of
the afternoons. After all, one of the main aims of the workshop is to
stimulate international cooperation on the solutions of the main open
problems in process algebra!
We expect to produce a volume in the BRICS Notes series with abstracts
and/or slides of the contributed talks, and a web page with a list of
open problems and future directions in process algebra that will be
discussed during the workshop.
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.