Details

Autor(en) / Beteiligte

• Barbuti, Roberto
• Maggiolo-Schettini, Andrea
• Milazzo, Paolo
• Troina, Angelo
• Barkaoui, Kamel
• Cerone, Antonio
• Cavalcanti, Ana

Titel

Bisimulation Congruences in the Calculus of Looping Sequences

Ist Teil von

• Lecture notes in computer science, 2006, p.93-107

Ort / Verlag

Berlin, Heidelberg: Springer Berlin Heidelberg

Erscheinungsjahr

2006

Quelle

Alma/SFX Local Collection

Beschreibungen/Notizen

• The Calculus of Looping Sequences (CLS) is a calculus suitable to describe biological systems and their evolution. CLS terms are constructed by starting from basic constituents and composing them by means of operators of concatenation, looping, containment and parallel composition. CLS terms can be transformed by applying rewrite rules. We give a labeled transition semantics for CLS by using, as labels, contexts in which rules can be applied. We define bisimulation relations that are congruences with respect to the operators on terms, and we show an application of CLS to the modeling of a biological system and we use bisimulations to reason about properties of the described system.