Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

APLAS
2003
ACM

favoriteEmaildiscussreport

96views Programming Languages» more APLAS 2003»

Expressive Synchronization Types for Inheritance in the Join Calculus

13 years 7 months ago

Expressive Synchronization Types for Inheritance in the Join Calculus

Download hal.archives-ouvertes.fr

Qin Ma 0002, Luc Maranget

Real-time Traffic

APLAS 2003 | Programming Languages |

claim paper

Related Content

» Inheritance in the Join Calculus

» On Implementing High Level Concurrency in Java

» An AOP Extended LambdaCalculus

» HighLevel Petri Nets as Type Theories in the Join Calculus

» A lambda calculus of objects and method specialization

» Information Hiding in the Join Calculus

» The Join Calculus A Language for Distributed Mobile Programming

» Safe CrossLanguage Inheritance

» Smooth Orchestrators

Post Info
More Details (n/a)

Added	23 Aug 2010
Updated	23 Aug 2010
Type	Conference
Year	2003
Where	APLAS
Authors	Qin Ma 0002, Luc Maranget

Comments (0)