Linearization of µCRL processes (0)

by Y S Usenko