Solving Linear Equations in *-continuous Action Lattices
From MaRDI portal
Publication:3498422
DOI10.1007/978-3-540-78913-0_22zbMath1140.68013MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
03G25: Other algebras related to logic
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
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