Deriving weak bisimulation congruences from reduction systems
Bruni, R, Gadducci, F, Montanari, U and Sobocinski, P (2005) Deriving weak bisimulation congruences from reduction systems. In, Concur, San Francisco, USA, 23 - 26 Aug 2005. Springer, 293-307.
Download
Full text not available from this repository.
Description/Abstract
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by LTSs whose labels model the possible interactions with the environment; (ii) their abstract semantics is conveniently expressed by observational congruences. However, many current-day process calculi are more easily equipped with reduction semantics, which focus on their internal dynamics but where the notion of observable action is missing. Recent techniques attempted to bridge this gap by synthesizing LTSs whose labels are process contexts that catalyze reactions and for which bisimulation is a congruence. Starting from Sewell's set-theoretic construction, category theoretic techniques were developed to define minimal LTS based on Leifer and Milner's relative pushouts, later refined by Sassone and the fourth author to deal with structural congruences given as groupoidal 2-categories. The paper aims at proving that double categories provide an even more suitable formalism for the synthesis of LTSs, as well as for congruence proofs. Albeit the framework is more sophisticated, constructions hard to phrase in set-theoretic settings become more general and intuitive, and in the end simpler. Moreover, the formalism allows for a straightforward definition of weak bisimulation congruence, not available in previous approaches.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: August 23-26, 2005 |
| ISBNs: | 3540283099 |
| Keywords: | weak bisimulation, tile systems, relative pushouts, reduction semantics, labelled transitions |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 263496 |
| Date Deposited: | 19 Feb 2007 |
| Last Modified: | 01 Mar 2012 11:23 |
| Contributors: | Bruni, R (Author) Gadducci, F (Author) Montanari, U (Author) Sobocinski, P (Author) Abadi, M (Editor) de Alfaro, L (Editor) |
| Date: | 2005 |
| Additional Information: | Event Dates: August 23-26, 2005 |
| Status: | Published |
| Publisher: | Springer |
| Further Information: | Google Scholar |
| ISI Citation Count: | 6 |
| URI: | http://eprints.soton.ac.uk/id/eprint/263496 |
Actions (login required)
 |
View Item |
