Linearization of μ CRL Specifications

@inproceedings{Usenko2002LinearizationO,
  title={Linearization of μ CRL Specifications},
  author={Yaroslav S. Usenko},
  year={2002}
}
We describe a linearization algorithm for μCRL processes, similar to the one described in [21] for a subset of the language called parallel pCRL. This algorithm finds its roots in formal language theory: the ‘grammar’ defining a process is transformed into a variant of Greibach Normal Form. Next, any such form is further reduced to linear form, i.e., to an equation that resembles a right-linear, data-parametric grammar. From the other perspective, linear specifications in μCRL resemble symbolic… CONTINUE READING
5 Citations
23 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-5 of 5 extracted citations

Similar Papers

Loading similar papers…