Title: Action refinement in process algebras
Subjects: Parallel processing (Electronic computers), Programming languages (Electronic computers), Semantics, Algebra, data processing