Encoding CSP into CCS

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch

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

Classification
Informatik

Event
Veröffentlichung
(where)
Augsburg
(who)
Universität Augsburg
(when)
2015
Event
Veröffentlichung
(where)
Waterloo
(who)
Open Publishing Association
(when)
2015
Creator
Hatzel, Meike
Wagner, Christoph
Peters, Kirstin
Nestmann, Uwe

DOI
10.4204/eptcs.190.5
URN
urn:nbn:de:bvb:384-opus4-962752
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:47 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

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

Time of origin

  • 2015

Other Objects (12)