Topological Self-Stabilization with Name-Passing Process Calculi

Christina Rickmann; Christoph Wagner; Uwe Nestmann; Stefan Schmid

doi:10.4230/LIPIcs.CONCUR.2016.19

Topological Self-Stabilization with Name-Passing Process Calculi

Christina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

2 Citations (Scopus)

Original language	English
Title of host publication	27th International Conference on Concurrency Theory (CONCUR 2016)
Number of pages	15
Publisher	Schloss Dagstuhl. Leibniz-Zentrum für Informatik
Publication date	2016
ISBN (Print)	978-3-95977-017-0
DOIs	https://doi.org/10.4230/LIPIcs.CONCUR.2016.19
Publication status	Published - 2016
Event	27th International Conference on Concurrency Theory - Université Laval, Québec City, Canada Duration: 23 Aug 2016 → 26 Aug 2016 Conference number: 27 http://www.concur2016.ulaval.ca/no_cache/home/

Conference

Conference	27th International Conference on Concurrency Theory
Number	27
Location	Université Laval
Country/Territory	Canada
City	Québec City
Period	23/08/2016 → 26/08/2016
Internet address	http://www.concur2016.ulaval.ca/no_cache/home/

Series	Leibniz International Proceedings in Informatics
Volume	59
ISSN	1868-8969

Access to Document

10.4230/LIPIcs.CONCUR.2016.19

http://drops.dagstuhl.de/opus/volltexte/2016/6176/pdf/LIPIcs-CONCUR-2016-19.pdf

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{2dadfba82e2d4a9d9a8c6083affcd04c,

title = "Topological Self-Stabilization with Name-Passing Process Calculi",

author = "Christina Rickmann and Christoph Wagner and Uwe Nestmann and Stefan Schmid",

year = "2016",

doi = "10.4230/LIPIcs.CONCUR.2016.19",

language = "English",

isbn = "978-3-95977-017-0",

series = "Leibniz International Proceedings in Informatics",

publisher = "Schloss Dagstuhl. Leibniz-Zentrum f{\"u}r Informatik",

booktitle = "27th International Conference on Concurrency Theory (CONCUR 2016)",

note = "27th International Conference on Concurrency Theory, CONCUR 2016 ; Conference date: 23-08-2016 Through 26-08-2016",

url = "http://www.concur2016.ulaval.ca/no_cache/home/",

}

Rickmann, C, Wagner, C, Nestmann, U & Schmid, S 2016, Topological Self-Stabilization with Name-Passing Process Calculi. in 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Leibniz International Proceedings in Informatics, vol. 59, 27th International Conference on Concurrency Theory, Québec City, Canada, 23/08/2016. https://doi.org/10.4230/LIPIcs.CONCUR.2016.19

Topological Self-Stabilization with Name-Passing Process Calculi. / Rickmann, Christina; Wagner, Christoph; Nestmann, Uwe et al.
27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2016. (Leibniz International Proceedings in Informatics, Vol. 59).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Topological Self-Stabilization with Name-Passing Process Calculi

AU - Rickmann, Christina

AU - Wagner, Christoph

AU - Nestmann, Uwe

AU - Schmid, Stefan

N1 - Conference code: 27

PY - 2016

Y1 - 2016

U2 - 10.4230/LIPIcs.CONCUR.2016.19

DO - 10.4230/LIPIcs.CONCUR.2016.19

M3 - Article in proceeding

SN - 978-3-95977-017-0

T3 - Leibniz International Proceedings in Informatics

BT - 27th International Conference on Concurrency Theory (CONCUR 2016)

PB - Schloss Dagstuhl. Leibniz-Zentrum für Informatik

T2 - 27th International Conference on Concurrency Theory

Y2 - 23 August 2016 through 26 August 2016

ER -