A linear-time branching-time perspective on interface automata

zu Verbundenen Objekten

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

Erschienen in
In: Acta Informatica, 57 (2020), 3, S. 513-550 - ISSN: 1432-0525

Ereignis
Veröffentlichung
(wo)
Bamberg
(wer)
Otto-Friedrich-Universität Bamberg
(wann)
2022
Urheber

URN
urn:nbn:de:bvb:473-irb-551700
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:50 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

Entstanden

  • 2022

Ähnliche Objekte (12)

A linear-time branching-time perspective on interface automata

A linear-time branching-time perspective on interface automata

The linear time - branching time spectrum

The linear time - branching time spectrum

A Game for Linear-time–Branching-time Spectroscopy

zweidimensionales bewegtes Bild

A Game for Linear-time–Branching-time Spectroscopy

Hybrid Branching-Time Logics

Hybrid Branching-Time Logics

Modal Interface Automata

Modal Interface Automata

Branching Space-Times : Theory and Applications

Branching Space-Times : Theory and Applications

Algorithmische Eigenschaften von Branching-Time-Logiken

Hochschulschrift

Algorithmische Eigenschaften von Branching-Time-Logiken

New Foundations for Branching Space-Times

New Foundations for Branching Space-Times

Weighted branching automata : combining concurrency and weights

Hochschulschrift

Weighted branching automata : combining concurrency and weights

Interface Automata with Error States

Interface Automata with Error States

Interface automata for shared memory

Interface automata for shared memory

Interface Automata for Shared Memory

Interface Automata for Shared Memory

Verbundene Objekte