Representations. A meta-model for system analysis

DOI10.1007/978-3-032-22469-9_5MaRDI QIDQ7287074zbMATH OpenFDO

Authors Paul Brunet

Publication date 23 June 2026

Full work available at URL https://doi.org/10.1007/978-3-032-22469-9_5

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A completeness theorem for Kleene algebras and the algebra of regular events
• A formal exploration of nominal Kleene algebra
• A linear-time-branching-time spectrum for behavioral specification theories
• Classes of Recursively Enumerable Sets and Their Decision Problems
• Completeness and incompleteness in nominal Kleene algebra
• Completeness and incompleteness of synchronous Kleene algebra
• Completeness theorems for bi-Kleene algebras and series-parallel rational pomset languages
• Concurrent Kleene algebra: free model and completeness
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 177804 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 1086671 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming
• On the calculus of relations.
• Relation lifting, a survey
• Two Complete Axiom Systems for the Algebra of Regular Events
• When are prime formulae characteristic?
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.

This page was built for publication: Representations. A meta-model for system analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7287074)