FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

B
Ben Abdelali, Marwa	Programming Without Refinement (PDF, talk)
C
Colvin, Robert	Correctness of Concurrent Objects under Weak Memory Models (PDF, talk)
G
Ghardallou, Wided	Programming Without Refinement (PDF, talk)
H
Hayes, Ian J.	Challenges of specifying concurrent program components (PDF, talk)
Hehner, Eric	A Theory of Lazy Imperative Timing (PDF, talk)
L
Labed Jilani, Lamia	Programming Without Refinement (PDF, talk)
M
Mili, Ali	Programming Without Refinement (PDF, talk)
Montin, Mathieu	Ordering strict partial orders to model behavioural refinement (PDF, talk)
P
Pantel, Marc	Ordering strict partial orders to model behavioural refinement (PDF, talk)
S
Sekerinski, Emil	Refining Santa: An Excercise in Efficient Synchronization (PDF, talk)
Smith, Graeme	Correctness of Concurrent Objects under Weak Memory Models (PDF, talk)
W
Winter, Kirsten	Correctness of Concurrent Objects under Weak Memory Models (PDF, talk)
Y
Yao, Shucai	Refining Santa: An Excercise in Efficient Synchronization (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program