scientific article; zbMATH DE number 140131

MaRDI QIDQ4028513zbMATH OpenFDO

Authors Hossein Saiedian, Hassan Farhat, Mansour Zand

Publication date 28 March 1993

zbMATH Keywords

ABSLactor theorymessage passingobject-based languageobjectsoffice automationspecification languagespecifications

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 545088
• scientific article; zbMATH DE number 3999273
• scientific article; zbMATH DE number 4135432
• Object-oriented specification and open distributed systems
• scientific article; zbMATH DE number 1409638

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