scientific article; zbMATH DE number 4039266

MaRDI QIDQ3777437zbMATH OpenFDO

Authors A. N. Biryukov, M. Mikhajlik

Publication date 1987

zbMATH Keywords

backtrackingsubprogram system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Interfaces between languages for communicating systems
• scientific article; zbMATH DE number 4045100
• Interfaces
• Specifying and analysing system-level inter-component interfaces
• Interfaces for refining recursion and procedures
• Principles of Distributed Systems

Cited in

(1)

• An Interface Group for Process Components

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