A Finite Axiomatization of Nondeterministic Regular Expressions

DOI10.1051/ITA:1999127MaRDI QIDQ4943553zbMATH OpenOpenAlexFDO

Authors Rocco De Nicola, Flavio Corradini, Anna Labella

Publication date 3 October 2000

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/221958, https://semanticscholar.org/paper/b4a9232fd34f246785df3cdd1327acbdfcbcea7d

zbMATH Keywords

regular expressionsregular languages

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Semantics in the theory of computing (68Q55)

Recommendations

• Models of nondeterministic regular expressions
• An Equational Axiomatization of Bisimulation over Regular Expressions
• Nondeterministic regular expressions as solutions of equational systems.
• scientific article; zbMATH DE number 3883630
• A completeness theorem for nondeterministic Kleene algebras

Cites work

• A calculus of communicating systems
• A complete inference system for a class of regular behaviours
• A completeness theorem for Kleene algebras and the algebra of regular events
• An equational axiomatization for multi-exit iteration
• Axiomatizations for the perpetual loop in process algebra
• Axiomatizing prefix iteration with silent steps
• Communicating sequential processes
• Complete systems of \(\mathcal B\)-rational identities
• Enriched categorical semantics for distributed calculi
• scientific article; zbMATH DE number 3932372 (Why is no real title available?)
• scientific article; zbMATH DE number 4039338 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 107664 (Why is no real title available?)
• scientific article; zbMATH DE number 193636 (Why is no real title available?)
• scientific article; zbMATH DE number 1047921 (Why is no real title available?)
• scientific article; zbMATH DE number 1113856 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• Iteration theories of synchronization trees
• Models of nondeterministic regular expressions
• Step bisimulation is pomset equivalence on a parallel language without explicit internal choice
• The Category-Theoretic Solution of Recursive Domain Equations
• Tree-functors, determinacy and bisimulations
• Two Complete Axiom Systems for the Algebra of Regular Events
• Une remarque sur les systèmes complets d'identités rationnelles

Cited in

(7)

• Nondeterministic regular expressions as solutions of equational systems.
• Categories with sums and right distributive tensor product
• Models of nondeterministic regular expressions
• A Compact Proof of Decidability for Regular Expression Equivalence
• scientific article; zbMATH DE number 3883630 (Why is no real title available?)
• An Equational Axiomatization of Bisimulation over Regular Expressions
• scientific article; zbMATH DE number 871236 (Why is no real title available?)

This page was built for publication: A Finite Axiomatization of Nondeterministic Regular Expressions

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