Modal algebra and Petri nets

to related objects

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

Bibliographic citation
In: Acta Informatica, 52, 2-3, S. 109-132

Event
Veröffentlichung
(where)
Augsburg
(who)
Universität Augsburg
(when)
2015
Event
Veröffentlichung
(who)
Springer Science and Business Media LLC
(when)
2015
Creator
Dang, Han-Hing
Möller, Bernhard

DOI
10.1007/s00236-015-0216-3
URN
urn:nbn:de:bvb:384-opus4-587365
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:48 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

  • Dang, Han-Hing
  • Möller, Bernhard
  • Universität Augsburg
  • Springer Science and Business Media LLC

Time of origin

  • 2015

Other Objects (12)

Modal Design Algebra

Modal Design Algebra

Modal Kleene Algebra and Partial Correctness

Modal Kleene Algebra and Partial Correctness

Fuzzifying modal algebra

Fuzzifying modal algebra

Modal design algebra

Modal design algebra

Termination in Modal Kleene Algebra

Termination in Modal Kleene Algebra

Knowledge and Games in Modal Semirings

Knowledge and Games in Modal Semirings

Lazy Kleene Algebra

Lazy Kleene Algebra

Ideal Stream Algebra

Ideal Stream Algebra

Modal Kleene Algebra and partial correctness

Modal Kleene Algebra and partial correctness

Greedy-like algorithms in modal Kleene algebra

Greedy-like algorithms in modal Kleene algebra

Modal Kleene algebra and applications - a survey

Modal Kleene algebra and applications - a survey

The Linear Algebra of UTP

The Linear Algebra of UTP

Related objects