Encoding CSP into CCS

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Meike Hatzel, Christoph Wagner, Kirstin PetersORCiDGND, Uwe Nestmann
URN:urn:nbn:de:bvb:384-opus4-962752
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/96275
ISSN:2075-2180OPAC
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:2015
Publishing Institution:Universität Augsburg
Release Date:2022/06/25
Tag:General Earth and Planetary Sciences; General Engineering; General Environmental Science
Volume:190
First Page:61
Last Page:75
DOI:https://doi.org/10.4204/eptcs.190.5
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)