Non-deterministic data types: Models and implementations

DOI10.1007/BF00263649MaRDI QIDQ1058286zbMATH OpenFDO

Authors Tobias Nipkow

Publication date 1986

Published in Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

denotational semantics of programming languagesimplementation of data typesmodel theory of data typesmulti-algebrasnon-deterministic operations

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 827943
• scientific article; zbMATH DE number 4088907
• scientific article; zbMATH DE number 3876560
• Encapsulating non-determinacy in an abstract data type with determinate semantics
• On Models of a Nondeterministic Computation
• Deterministic and nondeterministic computation, and horn programs, on abstract data types
• Non-deterministic structures of computation
• scientific article; zbMATH DE number 7356679
• scientific article; zbMATH DE number 3854400

Cites work

• scientific article; zbMATH DE number 3814961 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 3821084 (Why is no real title available?)
• scientific article; zbMATH DE number 3898213 (Why is no real title available?)
• scientific article; zbMATH DE number 3898224 (Why is no real title available?)
• scientific article; zbMATH DE number 3956411 (Why is no real title available?)
• scientific article; zbMATH DE number 3660783 (Why is no real title available?)
• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3723898 (Why is no real title available?)
• scientific article; zbMATH DE number 3765116 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3799587 (Why is no real title available?)
• scientific article; zbMATH DE number 3802794 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• A calculus of communicating systems
• Algebraic laws for nondeterminism and concurrency
• Behavioural correctness of data representations
• Partial abstract types
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• Proof of correctness of data representations

Cited in

(14)

• Typed homomorphic relations extended with subtypes
• scientific article; zbMATH DE number 3999266 (Why is no real title available?)
• The behavior-realization adjunction and generalized homomorphic relations
• Data types in subdefinite models
• Splitting atoms safely
• Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
• Generated models and the \(\omega\)-rule: the nondeterministic case
• Algebraic specification of documents
• Specification and verification of object-oriented programs using supertype abstraction
• scientific article; zbMATH DE number 827943 (Why is no real title available?)
• Parallel composition and decomposition of specifications
• scientific article; zbMATH DE number 4088907 (Why is no real title available?)
• A systematic study of models of abstract data types
• Prespecification in data refinement

This page was built for publication: Non-deterministic data types: Models and implementations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1058286)