Solving Linear Equations in *-continuous Action Lattices
From MaRDI portal
Publication:3498422
DOI10.1007/978-3-540-78913-0_22zbMath1140.68013OpenAlexW2134021948MaRDI QIDQ3498422
Claude Bolduc, Béchir Ktari, François Lajeunesse-Robert
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_22
Specification and verification (program logics, model checking, etc.) (68Q60) Other algebras related to logic (03G25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Cites Work
- Regular algebra applied to language problems
- A completeness theorem for Kleene algebras and the algebra of regular events
- From semirings to residuated Kleene lattices
- Incremental execution of transformation specifications
- Solving Linear Equations in *-continuous Action Lattices
- Derivatives of Regular Expressions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item