Work Area: Theories for Concurrency and Real Time: Specification and Verification
Keywords causality, concurrency calculi, partial order semantics, petri nets, specifications
Start Date: 24 July 1992 / Duration: 36 months / Status: running
[ participants / contact ]
Abstract CALIBAN contributes towards the combination and integration of causality-based models of concurrency (such as Petri nets) and calculus-oriented models of concurrency. This involves (1) the investigation of a unified behavioural semantics of causality; (2) the investigation of the connections between the structure and the behaviour of a concurrent system; (3) the development of an algebra which emphasises the benefits of an explicit representation of causality; and (4) the integration of high-level nets into a calculus-oriented specification method. The work builds on results achieved in DEMON (3148).
CALIBAN contributes towards the combination and the integration of causality-based models of concurrency (such as Petri nets) and calculus-oriented models of concurrency (such as process algebras). This involves:
CALIBAN disseminates its results through established conferences and journal papers. It also plans to produce two monographs. The partners hold a general meeting once a year. Workshops involving at least two partners are being held. Amongst others, a workshop on the High Level Box Algebra has been held in May 1993, and a workshop on Causality Semantics and the Box Algebra is planned for November 1993. The partners are also in the process of realising a programme of visits between researchers at cooperating sites. CALIBAN cooperates with several national and international projects on concurrency. The group will organise at least one open workshop.
All activities (including a list of publications) are documented in the CALIBAN Newsletter that is issued in irregular intervals by its coordinator. Copies of the newsletter can be obtained upon request.
CALIBAN's results provide a better knowledge of causality-based models, a collection of net analysis algorithms including model checking, a powerful process algebra with compositional net semantics, and a sound high-level net model for the specification of net systems. These results may eventually be integrated into a commercial tool which will allow parallel programs to be written in a specially designed language, obtain and exploit their net semantics, and verify some of their properties using a range of particularly efficient algorithms. A prototype of this kind is being implemented in a concomitant national project in Germany.
CALIBAN distributes its yearly Progress Reports in the Bulletin of the EATCS (European Association of Theoretical Computer Science). The WG contributes to scientific education by supervising Theses at all levels and by lecturing on its results. It maintains an internal e-m exchange and plans to install an ftp server for its list of publications. The open workshop will provide a further forum for dissemination of results. The main vehicle for information transfer is through established journals and conferences, at which CALIBAN maintains firm visibility.
Universität Hildesheim - D
Marienburger Platz 22
P.O. Box 101 363
D - 31141 HILDESHEIM
Université Libre de Bruxelles - B
Technische Universität München - D
Universidad de Zaragoza - E
Bull France - F
Université de Paris Sud - F
Università degli studi di Milano - I
Rijksuniversiteit Leiden - NL
Helsinki University of Technology - SF
University of Newcastle - UK
Prof. E. Best
tel +49/5121 883741
fax +49/5121 860475
CALIBAN - 6067, August 1994
please address enquiries to the ESPRIT Information Desk
html version of synopsis by Nick Cook