Developments in concurrent Kleene algebra

to connected objects

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

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

Event
Veröffentlichung
(where)
Augsburg
(who)
Universität Augsburg, Elsevier BV
(when)
2016
Creator
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
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:52 PM CET

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

  • 2016

Other Objects (12)

Kleene getting lazy

Kleene getting lazy

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

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

Characterizing determinacy in Kleene algebras

Characterizing determinacy in Kleene algebras

Developments in Concurrent Kleene Algebra

Developments in Concurrent Kleene Algebra

Lazy Kleene Algebra

Lazy Kleene Algebra

Kleene under a modal demonic star

Kleene under a modal demonic star

Concurrent Kleene Algebra

Concurrent Kleene Algebra

Concurrent Kleene Algebra

Concurrent Kleene Algebra

Relations and Kleene algebras in computer science

Relations and Kleene algebras in computer science

Relations and Kleene algebras in computer science

Relations and Kleene algebras in computer science

Calculating with acyclic and cyclic lists

Calculating with acyclic and cyclic lists

Geographic wayfinders and space-time algebra

Geographic wayfinders and space-time algebra

Related objects