What is a free name in a process algebra? |
Flemming Nielson, Hanne Riis Nielson, Henrik Pilegaard
|
| Keywords | Concurrency, Process algebras, Reaction semantics |
| Type | Journal paper [With referee] |
| Journal | Journal |
| Year | 2007 Month August Vol. 103 No. 5 pp. 188-194 |
| Publisher | Elsevier North-Holland, Inc. |
| Series | Information Processing Letters |
| ISBN / ISSN | 0020-0190 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |