Injective envelope and parallel decomposition of a transition system

DOI10.1016/J.DISC.2004.08.013MaRDI QIDQ1763334zbMATH OpenOpenAlexWikidataFDO

Authors A. Hudry

Publication date 22 February 2005

Published in Discrete Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.disc.2004.08.013

zbMATH Keywords

RepresentationDecompositionTransition systemsInjective envelopeRetractions

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Applications of universal algebra in computer science (08A70) Categories of machines, automata (18B20)

Recommendations

• Retractions, coretractions, and injective envelope of a transition algebra
• Injective envelope of graphs and transition systems
• Injective envelopes of transition systems and Ferrers languages
• scientific article; zbMATH DE number 1107620
• An algebraic and algorithmic method for analysing transition systems

Cites work

• scientific article; zbMATH DE number 4041280 (Why is no real title available?)
• scientific article; zbMATH DE number 3770955 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• A structure theory for ordered sets
• General metrics and contracting operations

Cited in

(5)

• Retractions, coretractions, and injective envelope of a transition algebra
• Injective envelopes of transition systems and Ferrers languages
• scientific article; zbMATH DE number 4092789 (Why is no real title available?)
• Free monoids and generalized metric spaces
• Injective envelope of graphs and transition systems

This page was built for publication: Injective envelope and parallel decomposition of a transition system

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