The Linear Algebra of UTP
From MaRDI portal
Publication:3618831
DOI10.1007/11783596_20zbMath1235.68057OpenAlexW1525510911MaRDI 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
Algebraic systems of matrices (15A30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
An algebraic approach to computations with progress ⋮ Normal design algebra ⋮ Conscriptions: A New Relational Model for Sequential Computations ⋮ Fixpoints for general correctness ⋮ Algebras for iteration and infinite computations ⋮ Infinite executions of lazy and strict computations
This page was built for publication: The Linear Algebra of UTP