Developments in Concurrent Kleene Algebra

zu Verbundenen Objekten

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

Erschienen in
In: Lecture Notes in Computer Science, 8428, S. 1-18

Ereignis
Veröffentlichung
(wo)
Augsburg, Cham
(wer)
Universität Augsburg, Springer International
(wann)
2014
Urheber
Hoare, Tony
van Staden, Stephan
Möller, Bernhard
Struth, Georg
Villard, Jules
Zhu, Huibiao
O’Hearn, Peter

DOI
10.1007/978-3-319-06251-8_1
URN
urn:nbn:de:bvb:384-opus4-587281
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:46 MEZ

Datenpartner

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

Beteiligte

  • Hoare, Tony
  • van Staden, Stephan
  • Möller, Bernhard
  • Struth, Georg
  • Villard, Jules
  • Zhu, Huibiao
  • O’Hearn, Peter
  • Universität Augsburg, Springer International

Entstanden

  • 2014

Ähnliche Objekte (12)

Developments in concurrent Kleene algebra

Developments in concurrent Kleene algebra

Concurrent Kleene Algebra

Concurrent Kleene Algebra

Concurrent Kleene Algebra

Concurrent Kleene Algebra

Lazy Kleene Algebra

Lazy Kleene Algebra

Concurrent Kleene Algebra and its foundations

Concurrent Kleene Algebra and its foundations

Foundations of Concurrent Kleene Algebra

Foundations of Concurrent Kleene Algebra

Lazy Kleene Algebra

Lazy Kleene Algebra

Modal Kleene Algebra and Partial Correctness

Modal Kleene Algebra and Partial Correctness

Non-associative Kleene algebra and temporal logics

Non-associative Kleene algebra and temporal logics

Kleene Algebra with Domain

Kleene Algebra with Domain

Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra

Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra

Termination in Modal Kleene Algebra

Termination in Modal Kleene Algebra

Verbundene Objekte