License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WPTE.2015.19
URN: urn:nbn:de:0030-drops-51792
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5179/
Go to the corresponding OASIcs Volume Portal

Palacios, Adrián ; Vidal, Germán

Towards Modelling Actor-Based Concurrency in Term Rewriting

pdf-format:
5.pdf (0.5 MB)

Abstract

In this work, we introduce a scheme for modelling actor systems within sequential term rewriting. In our proposal, a TRS consists of the union of three components: the functional part (which is specific of a system), a set of rules for reducing concurrent actions, and a set of rules for defining a particular scheduling policy. A key ingredient of our approach is that concurrent systems are modelled by terms in which concurrent actions can never occur inside user-defined function calls. This assumption greatly simplifies the definition of the semantics for concurrent actions, since no term traversal will be needed. We prove that these systems are well defined in the sense that concurrent actions can always be reduced.

Our approach can be used as a basis for modelling actor-based concurrent programs, which can then be analyzed using existing techniques for term rewrite systems.

BibTeX - Entry

@InProceedings{palacios_et_al:OASIcs:2015:5179,
  author =	{Adri{\'a}n Palacios and Germ{\'a}n Vidal},
  title =	{{Towards Modelling Actor-Based Concurrency in Term Rewriting}},
  booktitle =	{2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)},
  pages =	{19--29},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-94-1},
  ISSN =	{2190-6807},
  year =	{2015},
  volume =	{46},
  editor =	{Yuki Chiba and Santiago Escobar and Naoki Nishida and David Sabel and Manfred Schmidt-Schau{\ss}},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5179},
  URN =		{urn:nbn:de:0030-drops-51792},
  doi =		{10.4230/OASIcs.WPTE.2015.19},
  annote =	{Keywords: concurrency, actor model, rewriting}
}

Keywords: concurrency, actor model, rewriting
Collection: 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015)
Issue Date: 2015
Date of publication: 17.06.2015

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI