Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1504.00204
Cited By
Faster linearizability checking via
P
P
P
-compositionality
1 April 2015
Alex Horn
Daniel Kroening
CoGe
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Faster linearizability checking via $P$-compositionality"
2 / 2 papers shown
Title
Efficient Linearizability Checking for Actor-based Systems
Mohammed S. Al-Mahfoudh
Ryan Stutsman
Ganesh Gopalakrishnan
30
0
0
13 Oct 2021
Exposing Non-Atomic Methods of Concurrent Objects
M. Emmi
C. Enea
18
5
0
28 Jun 2017
1
