- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2021
- Schlagwort
-
Memory
Logic
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern
- (wann)
-
2021
- Urheber
- Beteiligte Personen und Organisationen
-
Vafeiadis, Viktor
- URN
-
urn:nbn:de:hbz:386-kluedo-66792
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:51 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Doko, Marko
- Vafeiadis, Viktor
- Technische Universität Kaiserslautern
Entstanden
- 2021
Ähnliche Objekte (12)
Correct Compilation of Relaxed Memory Concurrency
Concurrency in Main-Memory Database Systems
Towards a temporal logic for true concurrency, Part 1.. Linear time propositional logic
On the cost of concurrency in transactional memory
On weak completeness of intuitionistic predicate logic
On weak completeness of intuitionistic predicative logic
Automated Reasoning under Weak Memory Consistency
Verifying concurrent programs under weak memory models
Program development in computational logic : a decade of research advances in logic based program development
Horn logic and rewriting for functional and logic program design
Logic program modules for interoperable information systems
Concurrency 88 : proceedings
Correct Compilation of Relaxed Memory Concurrency
Concurrency in Main-Memory Database Systems
Towards a temporal logic for true concurrency, Part 1.. Linear time propositional logic
On the cost of concurrency in transactional memory
On weak completeness of intuitionistic predicate logic
On weak completeness of intuitionistic predicative logic
Automated Reasoning under Weak Memory Consistency
Verifying concurrent programs under weak memory models
Program development in computational logic : a decade of research advances in logic based program development
Horn logic and rewriting for functional and logic program design
Logic program modules for interoperable information systems
Concurrency 88 : proceedings
Correct Compilation of Relaxed Memory Concurrency
Concurrency in Main-Memory Database Systems
Towards a temporal logic for true concurrency, Part 1.. Linear time propositional logic
On the cost of concurrency in transactional memory
On weak completeness of intuitionistic predicate logic
On weak completeness of intuitionistic predicative logic
Automated Reasoning under Weak Memory Consistency
Verifying concurrent programs under weak memory models
Program development in computational logic : a decade of research advances in logic based program development
Horn logic and rewriting for functional and logic program design
Logic program modules for interoperable information systems