Data machines and standards, or the functional specification of information systems

DOI10.1016/0020-0255(93)90084-YzbMath0765.68139OpenAlexW2082449085MaRDI QIDQ1204805

F. T. A. M. Pieper

Publication date: 29 March 1993

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0255(93)90084-y

zbMATH Keywords

standarddata machineupward compatibility

Mathematics Subject Classification ID

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

Cites Work

• Sequential Functions
• Some Remarks on Abstract Machines
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Data machines and standards, or the functional specification of information systems