Typed π-calculus at work: A correctness proof of Jones's parallelization transformation on concurrent objects

Theory and Practice of Object Systems

Volumn 5, Issue 1, 1999, Pages 25-33

  Sangiorgi, Davide ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAMMING THEORY;

JONE'S PARALLELIZATION TRANSFORMATION;

OBJECT ORIENTED PROGRAMMING;

EID: 0032785067     PISSN: 10743227     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1096-9942(199901/03)5:1<25::AID-TAPO3>3.0.CO;2-A     Document Type: Article

References (26)