Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1604.08080
Cited By
v1
v2
v3
v4 (latest)
Concurrent Data Structures Linked in Time
27 April 2016
G. Delbianco
Ilya Sergey
Aleksandar Nanevski
A. Banerjee
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Concurrent Data Structures Linked in Time"
2 / 2 papers shown
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
Aleksandar Nanevski
A. Banerjee
G. Delbianco
Ignacio Fábregas
154
16
0
15 Apr 2019
Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources
Aleksandar Nanevski
A. Banerjee
G. Delbianco
90
0
0
22 Sep 2017
1
Page 1 of 1
