Reusable formal models for concurrency and communication in custom real-time operating systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Reusable formal models for concurrency and communication in custom real-time operating systems ; volume:26 ; number:2 ; day:20 ; month:2 ; year:2024 ; pages:229-245 ; date:4.2024
International journal on software tools for technology transfer ; 26, Heft 2 (20.2.2024), 229-245, 4.2024
- Creator
-
Adelt, Julius
Gebker, Julian
Herber, Paula
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-024-00743-4
- URN
-
urn:nbn:de:101:1-2405230735198.020511723004
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:57 AM CEST
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
- Adelt, Julius
- Gebker, Julian
- Herber, Paula
- SpringerLink (Online service)
Other Objects (12)
Operating-System Support for Efficient Fine-Grained Concurrency in Applications
Loupe: Designing Application-driven Compatibility Layers in Custom Operating Systems
Concurrency 88 : proceedings
ALBATROSS - An Operating-System under hard Realtime-Constraints
Modernes C++: Concurrency meistern
Optimistic concurrency control revisited
Improving foreign key concurrency
Concurrency as a modality
Optimistic concurrency control revisited
Session-based concurrency, declaratively
Causality versus true-concurrency
Formal verification of a small real-time operating system
Operating-System Support for Efficient Fine-Grained Concurrency in Applications
Loupe: Designing Application-driven Compatibility Layers in Custom Operating Systems
Concurrency 88 : proceedings
ALBATROSS - An Operating-System under hard Realtime-Constraints
Modernes C++: Concurrency meistern
Optimistic concurrency control revisited
Improving foreign key concurrency
Concurrency as a modality
Optimistic concurrency control revisited
Session-based concurrency, declaratively
Causality versus true-concurrency
Formal verification of a small real-time operating system
Operating-System Support for Efficient Fine-Grained Concurrency in Applications
Loupe: Designing Application-driven Compatibility Layers in Custom Operating Systems
Concurrency 88 : proceedings
ALBATROSS - An Operating-System under hard Realtime-Constraints
Modernes C++: Concurrency meistern
Optimistic concurrency control revisited
Improving foreign key concurrency
Concurrency as a modality
Optimistic concurrency control revisited
Session-based concurrency, declaratively
Causality versus true-concurrency