Nondeterministic regular expressions as solutions of equational systems.

DOI10.1016/S0304-3975(02)00774-0zbMath1044.68087MaRDI QIDQ1401324

Anna Labella, Rocco De Nicola

Publication date: 17 August 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Contract-based discovery of Web services modulo simple orchestrators

Cites Work

• Unnamed Item
• A complete inference system for a class of regular behaviours
• Iteration theories of synchronization trees
• Models of nondeterministic regular expressions
• A Finite Axiomatization of Nondeterministic Regular Expressions

This page was built for publication: Nondeterministic regular expressions as solutions of equational systems.