scientific article
From MaRDI portal
Publication:3130545
DOI10.23638/LMCS-14(1:6)2018zbMath1459.68039arXiv1611.07372MaRDI QIDQ3130545
Yunyun Zhu, Mohamed Faouzi Atig, Alberto Ros, Carl Leonardsson, Stefanos Kaxiras, Parosh Aziz Abdulla
Publication date: 23 January 2018
Full work available at URL: https://arxiv.org/abs/1611.07372
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Network protocols (68M12) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Verification of STM on relaxed memory models
- Counter-Example Guided Fence Insertion under TSO
- Software Transactional Memory on Relaxed Memory Models
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
- A new solution of Dijkstra's concurrent programming problem
- Software-Based Cache Coherence with Hardware-Assisted Selective Self-Invalidations Using Bloom Filters
- Checking and Enforcing Robustness against TSO
This page was built for publication:
