Behavioural typing for objects and process calculi

MaRDI QIDQ2906949zbMATHFDO

Authors Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani

Publication date 5 September 2012

zbMATH Keywords

concurrent processesobjectsobject calculibehavioural typinginterface-based behavioural typing

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1760051
• An algebra of behavioural types
• scientific article; zbMATH DE number 2118223
• scientific article; zbMATH DE number 1759630
• Preface to special issue: Behavioural types

Cited in

(8)

• scientific article; zbMATH DE number 1860620 (Why is no real title available?)
• An algebra of behavioural types
• scientific article; zbMATH DE number 6721685 (Why is no real title available?)
• Preface to special issue: Behavioural types
• Preface to special issue: Behavioural types
• scientific article; zbMATH DE number 1759630 (Why is no real title available?)
• scientific article; zbMATH DE number 1418457 (Why is no real title available?)
• scientific article; zbMATH DE number 1760051 (Why is no real title available?)

This page was built for publication: Behavioural typing for objects and process calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2906949)