Lazy Relations

DOI10.1007/978-3-540-78913-0_12zbMath1138.68359OpenAlexW2911911075MaRDI QIDQ3498411

Walter Guttmann

Publication date: 15 May 2008

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78913-0_12

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Normal design algebra ⋮ Imperative abstractions for functional actions

Cites Work

• Isotone relations and the fixed point property for posets
• Partiality. I: Embedding relation algebras
• Relational algebraic semantics of deterministic and nondeterministic programs
• Functional programming with side-effects
• Power domains
• Programs, Recursion and Unbounded Choice
• A Powerdomain Construction
• Fixed Points of Order Preserving Multifunctions
• Relational Methods in Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Lazy Relations