DMCA

An Operational Semantics for Concurrent Separation Logic

Cached

Download Links

by Pedro Soares , António Ravara , Simão Melo De Sousa , Rua Do Campo Alegre , Pedro Soares , António Ravara