License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CONCUR.2017.10
URN: urn:nbn:de:0030-drops-77869
URL: http://drops.dagstuhl.de/opus/volltexte/2017/7786/
Go to the corresponding LIPIcs Volume Portal


Aceto, Luca ; Fábregas, Ignacio ; García-Pérez, Álvaro ; Ingólfsdóttir, Anna ; Ortega-Mallén, Yolanda

Rule Formats for Nominal Process Calculi

pdf-format:
LIPIcs-CONCUR-2017-10.pdf (0.5 MB)


Abstract

The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications of NRTSs that ensure that the associated NRTS is an NTS and apply them to the operational specification of the early pi-calculus. Our study stems from the recent Nominal SOS of Cimini et al. and from earlier works in nominal sets and nominal logic by Gabbay, Pitts and their collaborators.

BibTeX - Entry

@InProceedings{aceto_et_al:LIPIcs:2017:7786,
  author =	{Luca Aceto and Ignacio F{\'a}bregas and Álvaro Garc{\'i}a-P{\'e}rez and Anna Ing{\'o}lfsd{\'o}ttir and Yolanda Ortega-Mall{\'e}n},
  title =	{{Rule Formats for Nominal Process Calculi}},
  booktitle =	{28th International Conference on Concurrency Theory (CONCUR 2017)},
  pages =	{10:1--10:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-048-4},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{85},
  editor =	{Roland Meyer and Uwe Nestmann},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7786},
  URN =		{urn:nbn:de:0030-drops-77869},
  doi =		{10.4230/LIPIcs.CONCUR.2017.10},
  annote =	{Keywords: nominal sets, nominal structural operational semantics, process algebra, nominal transition systems, scope opening, rule formats}
}

Keywords: nominal sets, nominal structural operational semantics, process algebra, nominal transition systems, scope opening, rule formats
Seminar: 28th International Conference on Concurrency Theory (CONCUR 2017)
Issue Date: 2017
Date of publication: 25.08.2017


DROPS-Home | Fulltext Search | Imprint Published by LZI