Action refinement in process algebras

Name: Action refinement in process algebras
Author: Luca Aceto

No description available.

Parallel processing (Electronic computers)Programming languages (Electronic computers)SemanticsAlgebra, data processing