Login / Signup
Typed pi-calculus at Work: A Correctness Proof of Jones's Parallelisation Transformation on Concurrent Objects.
Davide Sangiorgi
Published in:
Theory Pract. Object Syst. (1999)
Keyphrases
</>
provably correct
d objects
data objects
relational databases
automated theorem proving
database systems
keypoints
image regions
partial occlusion
object classes
object model
theorem prover
theorem proving
linear logic
concurrent programs