FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
REFINE REFINE PROCEEDINGS: KEYWORD INDEX
Shortcuts: ACDILPRSTW
A
Absolute Correctness
Agda
C
CCSL
concurrency
Concurrent objects
Concurrent operation specification
correctness
Correctness Enhancement
D
Deriving Reliable Programs
I
imperative
L
lazy
P
Program Derivation
Program Projection
R
refinement
Relative Correctness
rely/guarantee concurrency
S
Strict partial orders
Synchronization
T
The Santa Claus Problem
Time Models
Time Refinement
timing
W
weak memory models