Skip to Main content Skip to Navigation
Theses

Concurrency in Interaction Nets and Graph Rewriting

Andrei Dorman 1 
1 LCR
LIPN - Laboratoire d'Informatique de Paris-Nord, Università degli Studi Roma Tre
Abstract : In this work, we study concurrency in non-deterministic extensions of Lafont's interaction nets (a graphical language for functional calculus). These extensions are essentially of three types: multiruled, with multiports and multiwired. They can be combined creating thus seven types of concurrent interaction nets. A first task is to determine a good structural operational semantics to be able to compare the behaviors of these extensions. Based on a known technique in graph rewriting - double pushout with borrowed contexts - we define a method of labeling transitions using derivation rules in the style of process calculi, usual paradigm for modeling concurrency. Moreover, we define an observational semantics based on a parametric notion of barbs, that allows us to give a precise notion of translation between systems. We consider an extensions is more expressive than another if all languages from the second one can be translated into a language of the first one. This allows us to classify the concurrent interaction nets systems into three layers. From the strongest to the weakest: nets with multiport cells, nets with multiwires and finally multiruled nets. Using this, we build a universal language for concurrent interaction nets, which study enlightens us on the fundamental bricks of concurrency.
Complete list of metadata

Cited literature [57 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00937224
Contributor : Andrei Dorman Connect in order to contact the contributor
Submitted on : Tuesday, January 28, 2014 - 9:30:30 AM
Last modification on : Saturday, June 25, 2022 - 8:54:02 PM
Long-term archiving on: : Sunday, April 9, 2017 - 1:31:20 AM

Identifiers

  • HAL Id : tel-00937224, version 1

Citation

Andrei Dorman. Concurrency in Interaction Nets and Graph Rewriting. Distributed, Parallel, and Cluster Computing [cs.DC]. Université Paris-Nord - Paris XIII; Università degli studi Roma III, 2013. English. ⟨tel-00937224⟩

Share

Metrics

Record views

169

Files downloads

286