Developments in concurrent Kleene algebra

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

Erschienen in
In: Journal of Logical and Algebraic Methods in Programming, 85, 4, S. 617-636

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg, Elsevier BV
(wann)
2016
Urheber
Hoare, Tony
van Staden, Stephan
Möller, Bernhard
Struth, Georg
Zhu, Huibiao

DOI
10.1016/j.jlamp.2015.09.012
URN
urn:nbn:de:bvb:384-opus4-689008
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:52 MEZ

Datenpartner

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

Beteiligte

Entstanden

  • 2016

Ähnliche Objekte (12)