Logical Concurrency Control from Sequential Proofs
Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani
2011
In Logical Methods in Computer Science (LICS)
Details
| Type | Article |
| Volume | 7 |
| Number | 3 |
Share
Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani
2011
In Logical Methods in Computer Science (LICS)
| Type | Article |
| Volume | 7 |
| Number | 3 |
