scientific article; zbMATH DE number 1304385

zbMATH Open0928.68073MaRDI QIDQ4251124FDOQ4251124

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

Publication date: 17 June 1999

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

Recommendations

• State inference for dynamically changing interfaces
• scientific article; zbMATH DE number 1760051
• An algebra of behavioural types
• scientific article; zbMATH DE number 1759630
• Modular session types for distributed object-oriented programming

zbMATH Keywords

infinite stateCOB

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 Q4251124)