Paper Info
Title
Reasoning About Concurrency in High-Assurance, High-Performance Software Systems.
Abstract
We describe our work in the Trustworthy Systems group at Data61 (formerly NICTA) in reasoning about concurrency in high-assurance, high-performance software systems, in which concurrency may come from three different sources: multiple cores, interrupts and application-level interleaving.
Year
DOI
Venue
2017
10.1007/978-3-319-63046-5_1
Lecture Notes in Artificial Intelligence
Field
DocType
Volume
Isolation (database systems),Programming language,Computer science,Concurrency,Multiversion concurrency control,Imagix 4D,Concurrent object-oriented programming,Distributed concurrency control,Reasoning system,Non-lock concurrency control
Conference
10395
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
8
1
Name
Order
Citations
PageRank
June Andronick190342.66