Compositional minimization in Span(Graph): some examples

MaRDI QIDQ2847786zbMATH OpenFDO

Authors Piergiulio Katis, N. Sabadini, R. F. C. Walters

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104051503

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Minimisation and minimal realisation in Span(Graph)
• scientific article; zbMATH DE number 177239
• scientific article; zbMATH DE number 177241
• scientific article; zbMATH DE number 177514
• Minimality and deadlockness of multitape automata

Cited in

(1)

• Minimisation and minimal realisation in Span(Graph)

This page was built for publication: Compositional minimization in Span(Graph): some examples

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