scientific article; zbMATH DE number 1418457

zbMATH Open0953.68084MaRDI QIDQ4942014FDOQ4942014

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

Publication date: 29 January 2001

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1760051
• scientific article; zbMATH DE number 1735626
• scientific article; zbMATH DE number 1759630
• Behavioural typing for objects and process calculi
• scientific article; zbMATH DE number 1231693

zbMATH Keywords

decidable type system

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (1)

• An algebra of behavioural types

This page was built for publication:

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