An algebra of mixed computation

DOI10.1016/0304-3975(91)90300-QMaRDI QIDQ1179696zbMATH OpenOpenAlexFDO

Authors V. Eh. Itkin

Publication date 26 June 1992

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(91)90300-q

zbMATH Keywords

DMS algebramixed computationquasi-Boolean algebra

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Specification and verification (program logics, model checking, etc.) (68Q60) Symbolic computation and algebraic computation (68W30)

Review text

A mixed computation is defined as a multi-valued mapping \(M: P\times S\to P\times S\), where \(P\) is the set of all operators, \(S\) the set of all memory states. A nondeterministic memory state (NDMS) algebra \((S;0,+,*,\Delta)\) of the type \((0,2,2,2)\) is constructed for any basis of the memory, and it is proved that this algebra is quasi-Boolean. The notion of operator is defined and some properties of operators are proved. On the end a few problems for further investigations are given.

Recommendations

• scientific article; zbMATH DE number 3986622
• scientific article; zbMATH DE number 3894984
• Algorithmic analysis of mixed computations
• scientific article; zbMATH DE number 3976300
• Identical transformations in algebras of nondeterministic algorithms. I

Cites work

• scientific article; zbMATH DE number 3562458 (Why is no real title available?)
• Mixed computation: potential applications and problems for study
• On the partial computation principle

Cited in

(7)

• Algorithmic analysis of mixed computations
• An algebraic approach to computations with progress
• scientific article; zbMATH DE number 3986622 (Why is no real title available?)
• scientific article; zbMATH DE number 17810 (Why is no real title available?)
• scientific article; zbMATH DE number 4123276 (Why is no real title available?)
• scientific article; zbMATH DE number 3894984 (Why is no real title available?)
• From partial evaluation to mixed computation

This page was built for publication: An algebra of mixed computation

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