Multi-relations in Z. A cross between multi-sets and binary relations

DOI10.1007/BF01178565zbMath0744.68036MaRDI QIDQ1186512

Ian J. Hayes

Publication date: 28 June 1992

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

bags\(Z\)bill-of-materials systemmulti- relationsmulti-sets of pairsspecification and development of software systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other classical set theory (including functions, relations, and set algebra) (03E20) Theory of software (68N99)

Uses Software

• Z

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Multi-relations in Z. A cross between multi-sets and binary relations