Inheritance in the Join Calculus

Authors:
Cédric Fournet;Cosimo Laneve;Luc Maranget;Didier Rémy
Affiliations:
-;-;-;-
Venue:
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Year:
2000

Citing 12
Cited 3

Object-oriented concurrent programming ABCL/1

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Issues in the design of a parallel object-oriented language

Formal Aspects of Computing
Research directions in concurrent object-oriented programming

Research directions in concurrent object-oriented programming
Analysis of inheritance anomaly in object-oriented concurrent programming languages

Research directions in concurrent object-oriented programming
Objects in the &pgr;-calculus

Information and Computation
The reflexive CHAM and the join-calculus

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An interpretation of typed objects into typed &pgr;-calculus

Information and Computation
Functional Nets

ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
A Calculus of Mobile Agents

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
A Calculus for Concurrent Objects

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Implicit Typing à la ML for the Join-Calculus

CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Towards and Object Calculus

ECOOP '91 Proceedings of the Workshop on Object-Based Concurrent Computing

Modern Concurrency Abstractions for C#

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Subtyping and Matching for Mobile Objects

ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Session and Union Types for Object Oriented Programming

Concurrency, Graphs and Models

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a uniform manner, using labeled messages. Classes are partial message definitions that can be combined and transformed. We design operators for behavioral and synchronization inheritance. Our model is compatible with the JoCaml implementation of the join calculus.