Theory and Applications of Relational Structures as Knowledge Instruments
From MaRDI portal
Publication:5902058
DOI10.1007/b94817zbMath1203.68035MaRDI QIDQ5902058
Publication date: 9 June 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b94817
08A70: Applications of universal algebra in computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
08A02: Relational systems, laws of composition
Related Items
Concurrent Dynamic Algebra, Taming Multirelations, Multirelations with infinite computations, Relations into algebras of probabilistic distributions, An algebraic approach to multirelations and their properties, Angelic nondeterminism in the unifying theories of programming, Alternating states for dual nondeterminism in imperative programming, Monotonic distributive semilattices, Multirelational representation theorems for complete idempotent left semirings., Angelicism in the Theory of Reactive Processes, A Relation-Algebraic Approach to Multirelations and Predicate Transformers, Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism