Article ID Journal Published Year Pages File Type
434975 Theoretical Computer Science 2011 8 Pages PDF
Abstract

We establish the structure of the initial process algebra with additive and multiplicative identity elements and no article silent step.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics