Research
Events
Projects
Blog
Works
About Us
Language
English
日本語
tag: logic
2017.02.15
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations
Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations
logic
,
program logic
,
memory consistency models
2016.10.09
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models
logic
,
program logic
,
memory consistency models