Concurrent Kleene Algebra

to related objects

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

Bibliographic citation
In: Lecture Notes in Computer Science, 5710, S. 399-414

Event
Veröffentlichung
(where)
Augsburg
(who)
Universität Augsburg
(when)
2009
Event
Veröffentlichung
(where)
Berlin
(who)
Springer
(when)
2009
Creator
Hoare, C. A. R. Tony
Möller, Bernhard
Struth, Georg
Wehrman, Ian

DOI
10.1007/978-3-642-04081-8_27
URN
urn:nbn:de:bvb:384-opus4-689080
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:53 AM CEST

Data provider

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

Associated

Time of origin

  • 2009

Other Objects (12)

Lazy Kleene Algebra

Lazy Kleene Algebra

Lazy Kleene Algebra

Lazy Kleene Algebra

Concurrent Kleene Algebra

Concurrent Kleene Algebra

Concurrent Kleene Algebra and its foundations

Concurrent Kleene Algebra and its foundations

Modal Kleene Algebra and Partial Correctness

Modal Kleene Algebra and Partial Correctness

Foundations of Concurrent Kleene Algebra

Foundations of Concurrent Kleene Algebra

Foundations of concurrent Kleene Algebra

Foundations of concurrent Kleene Algebra

Non-associative Kleene algebra and temporal logics

Non-associative Kleene algebra and temporal logics

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

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

Kleene Algebra with Domain

Kleene Algebra with Domain

Developments in concurrent Kleene algebra

Developments in concurrent Kleene algebra

Termination in Modal Kleene Algebra

Termination in Modal Kleene Algebra

Related objects