Inheritance in the join calculus.

DOI10.1016/S1567-8326(03)00040-7zbMath1035.03011OpenAlexW2046289735MaRDI QIDQ1426056

Luc Maranget, Cédric Fournet, Cosimo Laneve, Didier Rémy

Publication date: 14 March 2004

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1567-8326(03)00040-7

zbMATH Keywords

InheritancePolymorphismSafety propertiesConcurrent objectsType systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

Linked data privacy ⋮ The Two-Phase Commitment Protocol in an Extended π-Calculus ⋮ Chemical foundations of distributed aspects ⋮ Incremental reasoning with lazy behavioral subtyping for multiple inheritance ⋮ Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation ⋮ A type checking algorithm for concurrent object protocols ⋮ Incremental Reasoning for Multiple Inheritance

Uses Software

• JoCaml
• OCaml

Cites Work

• Imperative objects as mobile processes
• Issues in the design of a parallel object-oriented language
• A calculus of mobile processes. II
• An interpretation of typed objects into typed \(\pi\)-calculus
• Privacy via subsumption
• Objects in the \(\pi\)-calculus
• Mobile objects as mobile processes
• Combining subsumption and binary methods
• Implicit typing à la ML for the join-calculus
• A calculus of mobile agents
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Inheritance in the join calculus.