Abstract
This essay recounts the story of the quest for equational axiomatizations
of parallel composition operators in process description languages, and of
similar results in the classic field of formal language theory. Some of the
outstanding open problems are also mentioned
| Original language | English |
|---|
| Place of Publication | Århus |
|---|---|
| Number of pages | 6 |
| Publication status | Published - 2005 |
| Series | B R I C S Notes Series |
|---|---|
| Number | NS-05-3 |
| ISSN | 0909-3206 |