Deutsch
Login
Open Access
Home
Search
Browse
Publish/report a document
Help
Matching in the pi-calculus
Kirstin Peters
,
Tsvetelina Yonova-Karbe
,
Uwe Nestmann
Download full text files
96284.pdf
(151KB)
Export metadata
BibTeX
RIS
Statistics
Print On Demand
Additional Services
Metadaten
Author:
Kirstin Peters
ORCiD
GND
,
Tsvetelina Yonova-Karbe
,
Uwe Nestmann
URN:
urn:nbn:de:bvb:384-opus4-962845
Frontdoor URL
https://opus.bibliothek.uni-augsburg.de/opus4/96284
ISSN:
2075-2180
OPAC
Parent Title (English):
Electronic Proceedings in Theoretical Computer Science
Publisher:
Open Publishing Association
Place of publication:
Waterloo
Type:
Article
Language:
English
Year of first Publication:
2014
Publishing Institution:
Universität Augsburg
Release Date:
2022/06/25
Tag:
General Earth and Planetary Sciences; General Engineering; General Environmental Science
Volume:
160
First Page:
16
Last Page:
29
DOI:
https://doi.org/10.4204/eptcs.160.3
Institutes:
Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Theorie verteilter und paralleler Systeme
Dewey Decimal Classification:
0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):
CC-BY 4.0: Creative Commons: Namensnennung (mit Print on Demand)