- Location
-
Hannover TIB
- Extent
-
68MB, 00:17:54:25 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021)
- Keyword
-
Verification
Weak Consistency
Data Structures
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Krishna, Siddharth
Emmi, Michael
Enea, Constantin
Jovanović, Dejan
- DOI
-
10.5446/54930
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Krishna, Siddharth
- Emmi, Michael
- Enea, Constantin
- Jovanović, Dejan
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (12)
Verifying concurrent programs under weak memory models
Automated Reasoning under Weak Memory Consistency
Checking Robustness Between Weak Transactional Consistency Models
Causal weak consistency replication : a systems approach
Weak and Strong Consistency in Additive Cost Sharing
Verifying OPAL, Pt. 1.. Verifying in the small
Verifying Negative Sentences
Visibility in event based systems
Visibility in event based systems
Verifying real-time systems
Self-verifying cellular automata
Weak and Strong Time Consistency in Differential Oligopoly Games with Capital Accumulation
Verifying concurrent programs under weak memory models
Automated Reasoning under Weak Memory Consistency
Checking Robustness Between Weak Transactional Consistency Models
Causal weak consistency replication : a systems approach
Weak and Strong Consistency in Additive Cost Sharing
Verifying OPAL, Pt. 1.. Verifying in the small
Verifying Negative Sentences
Visibility in event based systems
Visibility in event based systems
Verifying real-time systems
Self-verifying cellular automata
Weak and Strong Time Consistency in Differential Oligopoly Games with Capital Accumulation
Verifying concurrent programs under weak memory models
Automated Reasoning under Weak Memory Consistency
Checking Robustness Between Weak Transactional Consistency Models
Causal weak consistency replication : a systems approach
Weak and Strong Consistency in Additive Cost Sharing
Verifying OPAL, Pt. 1.. Verifying in the small
Verifying Negative Sentences
Visibility in event based systems
Visibility in event based systems
Verifying real-time systems
Self-verifying cellular automata