Abstract
We establish the structure of the initial process algebra with additive and multiplicative identity elements and no article silent step. © 2011 Elsevier B.V. All rights reserved.
Original language | Undefined/Unknown |
---|---|
Pages (from-to) | 3370-3377 |
Journal | Theoretical Computer Science |
Volume | 412 |
Issue number | 28 |
DOIs | |
Publication status | Published - 2011 |