Encoding CSP into CCS

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: Electronic Proceedings in Theoretical Computer Science, 190, S. 61-75

Klassifikation
Informatik

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg
(wann)
2015
Ereignis
Veröffentlichung
(wo)
Waterloo
(wer)
Open Publishing Association
(wann)
2015
Urheber
Hatzel, Meike
Wagner, Christoph
Peters, Kirstin
Nestmann, Uwe

DOI
10.4204/eptcs.190.5
URN
urn:nbn:de:bvb:384-opus4-962752
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:32 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Hatzel, Meike
  • Wagner, Christoph
  • Peters, Kirstin
  • Nestmann, Uwe
  • Universität Augsburg
  • Open Publishing Association

Entstanden

  • 2015

Ähnliche Objekte (12)