Behavioural typing for objects and process calculi

zbMATH Open1253.68248MaRDI QIDQ2906949FDOQ2906949

Authors: Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani 

Publication date: 5 September 2012

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

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)

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An algebra of behavioural types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Preface to special issue: Behavioural types
• Preface to special issue: Behavioural types

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)