- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Logical Methods in Computer Science, 9, 3, S. 4-1-4-28
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2018
- Creator
-
Lüttgen, Gerald
Vogler, Walter
- URN
-
urn:nbn:de:bvb:384-opus4-388400
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:48 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Lüttgen, Gerald
- Vogler, Walter
- Universität Augsburg
Time of origin
- 2018
Other Objects (12)
Modal Interface Automata: A Theory for Heterogeneous Specification of Parallel Systems
Interface Automata with Error States
Interface automata for shared memory
A linear-time branching-time perspective on interface automata
Modal interface theories for communication-safe component assemblies
Knowledge and Games in Modal Semirings
Modal Design Algebra
Modal and Temporal Operators on Partial Orders
Interface Automata for Shared Memory
Modal knowledge and game semirings
Basics of Modal Semirings and of Kleene/ Omega Algebras
Fuzzifying modal algebra
Modal Interface Automata: A Theory for Heterogeneous Specification of Parallel Systems
Interface Automata with Error States
Interface automata for shared memory
A linear-time branching-time perspective on interface automata
Modal interface theories for communication-safe component assemblies
Knowledge and Games in Modal Semirings
Modal Design Algebra
Modal and Temporal Operators on Partial Orders
Interface Automata for Shared Memory
Modal knowledge and game semirings
Basics of Modal Semirings and of Kleene/ Omega Algebras
Fuzzifying modal algebra
Modal Interface Automata: A Theory for Heterogeneous Specification of Parallel Systems
Interface Automata with Error States
Interface automata for shared memory
A linear-time branching-time perspective on interface automata
Modal interface theories for communication-safe component assemblies
Knowledge and Games in Modal Semirings
Modal Design Algebra
Modal and Temporal Operators on Partial Orders
Interface Automata for Shared Memory
Modal knowledge and game semirings
Basics of Modal Semirings and of Kleene/ Omega Algebras