The Linear Algebra of UTP
From MaRDI portal
Publication:3618831
DOI10.1007/11783596_20zbMath1235.68057MaRDI QIDQ3618831
Publication date: 2 April 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/35941
15A30: Algebraic systems of matrices
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
An algebraic approach to computations with progress, Fixpoints for general correctness, Algebras for iteration and infinite computations, Normal design algebra, Infinite executions of lazy and strict computations, Conscriptions: A New Relational Model for Sequential Computations