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
| Originalsprog | Engelsk |
|---|
| Udgivelsessted | Århus |
|---|---|
| Antal sider | 6 |
| Status | Udgivet - 2005 |
| Navn | B R I C S Notes Series |
|---|---|
| Nummer | NS-05-3 |
| ISSN | 0909-3206 |
Fingeraftryk
Dyk ned i forskningsemnerne om 'The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems'. Sammen danner de et unikt fingeraftryk.Citationsformater
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver