Conference Proceeding

Symbolic equivalences for open systems


Baldan P, Bracciali A & Bruni R (2005) Symbolic equivalences for open systems. In: Priami C & Quaglia P (eds.) Global Computing. Lecture Notes in Computing Science, 3267. IST/FET International Workshop, GC 2004, Rovereto, Italy, 09.03.2004-12.03.2004. Berlin, Heidelberg: Springer, pp. 1-17.;

Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this "universal" quantification over the possible hosting environments, such equivalences are often difficult to check in a direct way. Here, working in the setting of process calculi, we introduce a hierarchy of behavioural equivalences for open systems, building on a previously defined symbolic approach. The hierarchy comprises both branching, bisimulation-based, and non-branching, trace-based, equivalences. Symbolic equivalences are amenable to effective analysis techniques (e.g., the symbolic transition system is finitely branching under mild assumptions), which result to be sound, but often not complete due to redundant information. Two kinds of redundancy, syntactic and semantic, are discussed and and one class of symbolic equivalences is identified that deals satisfactorily with syntactic redundant transitions, which are a primary source of incompleteness.

Title of seriesLecture Notes in Computing Science
Number in series3267
Publication date31/12/2005
Related URLs…f/gc/gc2004.html
Publisher URL…f/gc/gc2004.html
Place of publicationBerlin, Heidelberg
ISSN of series0302-9743
ConferenceIST/FET International Workshop, GC 2004
Conference locationRovereto, Italy